Jochen Beister Gernot Eckstein Ralf Wollowski CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. 445-454 2000 ICATPN http://link.springer.de/link/service/series/0558/bibs/1825/18250445.htm db/conf/apn/icatpn2000.html#BeisterEW00