A design environment for discrete-event controllers based on the SIGNAL language. - Hervé Marchand; Patricia Bournai; M. Leborgne; Paul Le Guernic (SMC, 1998)