"Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)" - читать интересную книгу автора (Wojciech Penczek, Agata Polrola)