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
Rajkumar, Ragunathan
Synchronization in real-time systems : a priority inheritance approach
Kluwer, 1991
 Buku Teks SO
Foundations of real-time computing: scheduling and resources management
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks SO