1. Babkin, E.A., Ponomarev, N.O.: Analysis of the consistency of enterprise architecture models using formal verification methods. Business Inf. 41(3), 30–40 (2017)
2. Beauvoir, P., Sarrodie, J.: Archi user guide. The Open Group (2013)
3. Lecture Notes in Business Information Processing;G Blanco-Lainé,2019
4. Filet, P., van de Wetering, R., Joosten, S.: Enterprise architecture alignment. researchgate.net. Department of Information Sciences, Open University of the Netherland (2019)
5. Jackson, D.: Software abstractions: logic, language, and analysis. The MIT Press (2006)