"OBSSLICE: A timed automata slicer based on observers" (2004) Braberman, V.; Garbervetsky, D.; Olivero, A. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114:470-474