Zhaoxia Hu Sol M. Shatz A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. 361-367 2005 conf/serp/2005-1 Software Engineering Research and Practice db/conf/serp/serp2005-1.html#HuS05