Zhaoxia Hu Sol M. Shatz Explicit modeling of semantics associated with composite states in UML statecharts. 423-467 2006 13 Autom. Softw. Eng. 4 http://dx.doi.org/10.1007/s10515-006-0272-6 db/journals/ase/ase13.html#HuS06