Dependability Assurance of Real-Time Embedded Control Systems | lit.salon