Emil Sekerinski Rafik Zurob iState: A Statechart Translator. 376-390 2001 conf/uml/2001 UML http://link.springer.de/link/service/series/0558/bibs/2185/21850376.htm db/conf/uml/uml2001.html#SekerinskiZ01