Lucía Cavatorta Guido de Caso Andrés Ferrari Víctor A. Braberman Diego Garbervetsky Nicolas Kicillof Fernando Schapachnik Alfredo Olivero A toolsuite for the verification of real-time systems in Eclipse. 35-39 2006 ETX http://doi.acm.org/10.1145/1188835.1188843 conf/eclipse/2006 db/conf/eclipse/eclipse2006.html#CavatortaCFBGKSO06