Wuwei Shen Dae-Kyoo Kim ICER: a tool for finding errors in a UML model. 804-808 2008 SAC http://doi.acm.org/10.1145/1363686.1363870 conf/sac/2008 db/conf/sac/sac2008.html#ShenK08