SAT-based Unbounded Model Checking of Timed Automata.

Wojciech Penczek Maciej Szreter SAT-based Unbounded Model Checking of Timed Automata. 425-440 2008 85 Fundam. Inform. 1-4 http://iospress.metapress.com/content/60w83j0642pg11p5/ db/journals/fuin/fuin85.html#PenczekS08