@article{a35b38fc1e264120abe8bb7d6e54a7d3,
title = "CIF 3: Model-based engineering of supervisory controllers",
author = "{van Beek}, D.A. and W.J. Fokkink and Dennis Hendriks and A. Hofkamp and J. Markovski and {van de Mortel-Fronczak}, J.M. and M.A. Reniers",
note = "Proceedings title: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'14 Publisher: Springer",
year = "2014",
doi = "10.1007/978-3-642-54862-8_48",
language = "English",
volume = "8413",
pages = "575--580",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Science and Business Media Deutschland GmbH",
number = "8413",
}