Min Wan, Gianfranco Ciardo: Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM 2009: 595-608