Jiexin Lian Zhaoxia Hu Sol M. Shatz Simulation-based analysis of UML statechart diagrams: methods and case studies. 45-78 2008 16 Software Quality Journal 1 http://dx.doi.org/10.1007/s11219-007-9020-9 db/journals/sqj/sqj16.html#LianHS08