Analysable Real-Time Systems: Programmed in ADA, Paperback/Prof Alan Burns