Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. - Jos C. M. Baeten; Dirk A. van Beek; Pieter J. L. Cuijpers; Michel A. Reniers; Jacobus E. Rooda; Ramon R. H. Schiffelers; Rolf J. M. Theunissen (LIX, 2006)

Control of input/output discrete-event systems. - Mihály Petreczky; Rolf J. M. Theunissen; Rong Su 001; D. A. van Beek; Jan H. van Schuppen; Jacobus E. Rooda (ECC, 2009)

Supervisory control synthesis for a patient support system. - Rolf J. M. Theunissen; Ramon R. H. Schiffelers; D. A. van Beek; Jacobus E. Rooda (ECC, 2009)

Model-Based Engineering of Supervisory Controllers using CIF. - Ramon R. H. Schiffelers; Rolf J. M. Theunissen; Dirk A. van Beek; Jacobus E. Rooda (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A state-based framework for supervisory control synthesis and verification. - Jasen Markovski; Dirk A. van Beek; Rolf J. M. Theunissen; Koen G. M. Jacobs; Jacobus E. Rooda (CDC, 2010)

Improving evolvability of a patient communication control system using state-based supervisory control synthesis. - Rolf J. M. Theunissen; Dirk A. van Beek; Jacobus E. Rooda (Adv. Eng. Informatics, 2012)

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. - Rolf J. M. Theunissen; Mihály Petreczky; Ramon R. H. Schiffelers; Dirk A. van Beek; Jacobus E. Rooda (IEEE Trans Autom. Sci. Eng., 2014)

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. - Sander Thuijsman; Dennis Hendriks; Rolf J. M. Theunissen; Michel A. Reniers; Ramon R. H. Schiffelers (CASE, 2019)