1. Integration of supervisory control synthesis in model-based systems engineering, volume Part I of Studies in Systems, Decision and Control;Baeten,2016
2. Principles of model checking;Baier,2008
3. Model-based integration and testing of high-tech multi-disciplinary systems;Braspenning,2008
4. Modular multitasking supervisory control of composite discrete-event systems;de Queiroz,2005
5. Multitasking supervisory control of discrete-event systems;de Queiroz;Discrete Event Dynamic Systems,2005