https://www.booksfree.org/advances-in-verification-of-time-petri-nets-and-timed-automata-pdf/