"Formal Methods and Hybrid Real-Time Systems" - читать интересную книгу автора (Cliff B. Jones, Zhiming Liu, Jim Woodcock)