"Formal verification of timed systems: a survey and perspective" - читать интересную книгу автора (Wang F.)