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