Supervisory controller synthesis and implementation for safety PLCs. - Ferdie F. H. Reijnen; Toby R. Erens; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2022)