1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
2. Cledou, G., Barbosa, L.: An ontology for licensing public transport services. In: Proceedings of the 9th ICEGOV, pp. 230–239 (2016)
3. Jackson, D., Wing, J.: Lightweight formal methods. IEEE Comput. 29(4), 21–22 (1996)
4. Jensen, K.: Coloured Petri Net. Springer, Heidelberg (1996)
5. Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press, Cambridge (2011)