Dependability Assurance Of Real-Time Embedded Control Systems by Francesco Flammini