From STG to Extended-Burst-Mode Machines. - Jochen Beister; Gernot Eckstein; Ralf Wollowski (ASYNC, 1999)

CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. - Jochen Beister; Gernot Eckstein; Ralf Wollowski (ICATPN, 2000)