Cheng, Albert M.K.
Real-Time systems : scheduling, analysis, and verification
Wiley-Interscience, 2002
 Buku Teks
Rajkumar, Ragunathan
Synchronization in real-time systems : a priority inheritance approach
Kluwer, 1991
 Buku Teks SO
Blackman, Maurice
The design of real time applications
John Wiley & Sons, 1975
 Buku Teks
Halang, Wolfgang A.
Constructing predictable real time systems
Kluwer Academic Publishers, 1991
 Buku Teks SO
Foundations of real-time computing: formal specifications and methods
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks