Title: Dependability Assurance of Real-Time Embedded Control Systems
Subjects: Embedded computer systems, Automatic control, Real-time control, Reliability