Real-Time Systems and Their Programming Languages, International Computer Science Series