1. Cqlinq syntax. https://www.ndepend.com/docs/cqlinq-syntax/#architect. Accessed 4 Aug 2021
2. Lattix architect. https://www.lattix.com/products-architecture-issues/#architect. Accessed 4 Aug 2021
3. Sonargraph-architect (2017)
4. Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 187–197. IEEE (2002)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, New York (2008)