HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems Alan Burns, Andy Wellings - Elsevier 1995 - 3 . ISBN: 9780444821645 978-0-444-82164-5