Synthesis of discrete-event controllers from sequence-based specifications. - Thijs Janssen; Joanna M. van de Mortel-Fronczak; Emile van Gerwen; Michel A. Reniers (CDC, 2015)