1. Beauvoir, P., Sarrodie, J.: Archi-the free archimate modelling tool. User Guide, The Open Group (2018)
2. Beauvoir, P., Sarrodie, J.B.: Archi-Open Source Archimate Modelling (2019)
3. Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381–390 (2006)
4. Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666–677 (1978)
5. Hui, L.M., Leung, C.W., Fan, C.K., Wong, T.N.: Modelling agent-based systems with UML. In: Proceedings of the Fifth Asia-Pacific Industrial Engineering and Management Systems Conference (2004)