CIF 3: Model-Based Engineering of Supervisory Controllers.

D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers

Browse the full TACAS paper archive.