Simulative and Analytical Evaluation for ASD-Based Embedded Software. - Ramin Sadre; Anne Remke; Sjors Hettinga; Boudewijn R. Haverkort (MMB/DFT, 2012)