Time-Darts: A Data Structure for Verification of Closed Timed Automata - Jørgensen, Kenneth Y.; Larsen, Kim G.; Srba, Jiří (Electronic proceedings in theoretical computer science, 2012)