Enviar aquest missatge de text: Real-time systems : scheduling, analysis, and verification / Albert M.K. Cheng.