Supervisory control synthesis for a waterway lock. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CCTA, 2017)

Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CCTA, 2018)

Finite Response and Confluence of State-based Supervisory Controllers. - Ferdie F. H. Reijnen; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2019)

Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex. - Ferdie F. H. Reijnen; J. J. Verbakel; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CCTA, 2019)

Design of a Supervisor Platform for Movable Bridges. - Ferdie F. H. Reijnen; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2020)

Data Logging and Reconstruction of Discrete-event System Behavior. - Ferdie F. H. Reijnen; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICARCV, 2020)

The Road Ahead for Supervisor Synthesis. - Martijn A. Goorden; Lars Moormann; Ferdie F. H. Reijnen; J. J. Verbakel; D. A. van Beek; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda; L. F. P. Etman (SETTA, 2020)

Modeling for supervisor synthesis - a lock-bridge combination case study. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2020)

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. - Ferdie F. H. Reijnen; Eva-Britt Leliveld; Joanna M. van de Mortel-Fronczak; John van Dinther; Jacobus E. Rooda; Wan J. Fokkink (Comput. Ind., 2021)

Supervisor Synthesis: Bridging Theory and Practice. - Wan J. Fokkink; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Ferdie F. H. Reijnen; Jacobus E. Rooda (Computer, 2022)

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)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)