On improving backwards verification of timed automata (extended abstract) - Braberman, V. (2002)
Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.