Cita APA (7a ed.)

Joseph, M. (1996). Real-time systems: Specification, verification, and analysis. Prentice-Hall.

Cita Chicago Style (17a ed.)

Joseph, Mathai. Real-time Systems: Specification, Verification, and Analysis. London [etc.]: Prentice-Hall, 1996.

Cita MLA (9a ed.)

Joseph, Mathai. Real-time Systems: Specification, Verification, and Analysis. Prentice-Hall, 1996.