Wuwei Shen Kevin J. Compton James Huggins A Toolset for Supporting UML Static and Dynamic Model Checking. 147-152 2002 conf/compsac/2002 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044545 db/conf/compsac/compsac2002.html#ShenCH02