Lijun Yu Robert B. France Indrakshi Ray Kevin Lano A light-weight static approach to analyzing UML behavioral properties. 56-63 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.10 db/conf/iceccs/iceccs2007.html#YuFRL07