Rakefet Kol, Ran Ginosar, Goel Samuel. Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 164-174, IEEE Computer Society, 1996. [doi]
Abstract is missing.