N.: Verification of timed automata via satisfiability checking (2002)

by P Niebert, M Mahfoudh, E Asarin, M Bozga, O Maler, Jain