Observing timed systems by means of message sequence chart graphs. - Sebastián Blaustein; Fernando Oliveto; Víctor A. Braberman (ICSE, 2002)