"Advances in verification of time petri nets and timed automata: a temporal logic approach" - читать интересную книгу автора (Wojciech Penczek, Agata Pólrola)