Trung T. Dinh-Trong Sudipto Ghosh Robert B. France Michael Hamilton Brent Wilkins UMLAnT: an Eclipse plugin for animating and testing UML designs. 120-124 2005 ETX http://doi.acm.org/10.1145/1117696.1117721 conf/eclipse/2005 db/conf/eclipse/eclipse2005.html#Dinh-TrongGFHW05