"MTSA: The modal transition system analyser" (2008) D'Ippolito, N.; Fischbein, D.; Chechik, M.; Uchitel, S. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering:475-476
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400