A design environment for discrete-event controllers based on the SIGNAL language | IEEE Conference Publication | IEEE Xplore