"HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Real-Time Safety Critical Systems) " - читать интересную книгу автора (A. Burns, A. Wellings)