P. Pleinevaux
-
Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems