SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems"