Yan Jin Robert Esser Jörn W. Janneck A method for describing the syntax and semantics of UML statecharts. 150-163 2004 3 Software and System Modeling 2 http://www.springerlink.com/index/10.1007/s10270-003-0046-6 db/journals/sosym/sosym3.html#JinEJ04