Lionel C. Briand Yvan Labiche Jim Cui Automated support for deriving test requirements from UML statecharts. 399-423 2005 4 Software and System Modeling 4 http://dx.doi.org/10.1007/s10270-005-0090-5 db/journals/sosym/sosym4.html#BriandLC05