Penczek W. Advances in verification of time petri nets and timed automata : a temporal logic approach / W. Penczek, A. Polrola, 2006 r=on-line. - Текст : электронный.