APA (7th ed.) Citation

Olderog, E., & Dierks, H. (2008). Real-time systems: Formal specification and automatic verification. Cambridge University Press.

Chicago Style (17th ed.) Citation

Olderog, E.-R, and H. Dierks. Real-time Systems: Formal Specification and Automatic Verification. Cambridge, England: Cambridge University Press, 2008.

MLA (9th ed.) Citation

Olderog, E.-R, and H. Dierks. Real-time Systems: Formal Specification and Automatic Verification. Cambridge University Press, 2008.