Emil Sekerinski Rafik Zurob Translating Statecharts to B. 128-144 2002 conf/ifm/2002 IFM http://link.springer.de/link/service/series/0558/bibs/2335/23350128.htm db/conf/ifm/ifm2002.html#SekerinskiZ02