Wojciech Penczek Agata Pólrola Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Studies in Computational Intelligence 20 Springer 2006 978-3-540-32869-8 http://dx.doi.org/10.1007/978-3-540-32870-4