Modeling resource sharing using FSM-SADF. - João Bastos; Sander Stuijk; Jeroen Voeten; Ramon R. H. Schiffelers; Johan Jacobs; Henk Corporaal (MEMOCODE, 2015)

Modular model-based supervisory controller design for wafer logistics in lithography machines. - Bram van der Sanden; Michel A. Reniers; Marc Geilen; Twan Basten; Johan Jacobs; Jeroen Voeten; Ramon R. H. Schiffelers (MoDELS, 2015)

Compositional specification of functionality and timing of manufacturing systems. - Bram van der Sanden; João Bastos; Jeroen Voeten; Marc Geilen; Michel A. Reniers; Twan Basten; Johan Jacobs; Ramon R. H. Schiffelers (FDL, 2016)