A. El Murabet and A. Abtoy, “Methodologies of the Validation of Software Architectures”, J. Comput. Theor. Appl., vol. 1, no. 2, pp. 78–85, Nov. 2023.