Nicolás D'Ippolito Dario Fischbein Howard Foster Sebastián Uchitel MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. 6-10 2007 ETX http://doi.acm.org/10.1145/1328279.1328281 conf/eclipse/2007 db/conf/eclipse/eclipse2007.html#DIppolitoFFU07