Real-Time Systems and Programming Languages (Fourth Edition)(Addison-Wesley, 2009)
Concurrent and Real-Time Programming in Ada(Cambridge, 2007)
Concurrent and Real-Time Programming in Java(Wiley, 2004)
Real-Time Systems: Specification, Verification and Analysis(Revised version with corrections, 2001)
Concurrency in Ada 95 (Second Edition)(Cambridge University Press, 1998)
LNCS1357 Object-Oriented Technology: ECOOP'97 Workshop Reader(Springer-Verlag, 1998)
HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems(Elsevier, 1995)
Concurrent Programming(Addison Wesley, 1993)
