Books

Real-Time Systems and Programming Languages
Alan Burns and Andy Wellings
Concurrent and Real-Time Programming in Ada
Alan Burns and Andy Wellings
Concurrent and Real-Time Programming in Java
Andy Wellings
Real-Time Systems: Specification, Verification and Analysis
Mathai Joseph
Concurrency in Ada (2nd edition)
Alan Burns and Andy Wellings
LNCS1357 Object-Oriented Technology: ECOOP'97 Workshop Reader
J. Bosch and S. Mitchell
HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems
Alan Burns and Andy Wellings
Concurrent Programming
Alan Burns and Geoff Davies