Agata Pólrola Wojciech Penczek Maciej Szreter Reachability Analysis for Timed Automata Using Partitioning Algorithms. 203-221 2003 55 Fundam. Inform. 2 http://iospress.metapress.com/content/ergc2cu2buvypq18/ db/journals/fuin/fuin55.html#PolrolaPS03