1. Baeten, J., van Beek, D., Cuijpers, P., Reniers, M., Rooda, J., Schiffelers, R., Theunissen, R.: Model-based engineering of embedded systems using the hybrid process algebra Chi. ENTCS 209, 21–53 (2008)
2. Baeten, J., van Beek, D., Luttik, B., Markovski, J., Rooda, J.: A process-theoretic approach to supervisory control theory. In: Proceedings of ACC, pp. 4496–4501. IEEE (2011)
3. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press (2008)
4. van Beek, D., Man, K., Reniers, M., Rooda, J., Schiffelers, R.: Syntax and consistent equation semantics of hybrid Chi. JLAP 68(1–2), 129–210 (2006)
5. Bertens, E., Fabel, R., Petreczky, M., van Beek, D., Rooda, J.: Supervisory control synthesis for exception handling in printers. In: Proceedings of the Philips Conference on Applications of Control Technology (2009)