Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba: Verification of Timed-Arc Petri Nets. SOFSEM 2011: 46-72