A graphical environment for the design of discrete event systems. - J. Song 001 (1993)