Rakefet Kol, Ran Ginosar, Goel Samuel: Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems. ASYNC 1996: 164-174