CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems - Rajan (Springer Vienna, 2013)