Rothstein, Michael F.
Guide to the design of real-time systems
Wiley-Interscience, 1970
 Buku Teks
Calvez, Jean Paul
Embedded real-time systems : a specification and design methodology
John Wiley & Sons, 1993
 Buku Teks SO
Foundations of real-time computing: formal specifications and methods
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks
Foundations of real-time computing: scheduling and resources management
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks SO
Cheng, Albert M.K.
Real-Time systems : scheduling, analysis, and verification
Wiley-Interscience, 2002
 Buku Teks SO