"Visual timed event scenarios" (2004) Alfonso, A.; Braberman, V.; Kicillof, N.; Olivero, A. Proceedings - 26th International Conference on Software Engineering, ICSE 2004. 26:168-177

"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