Marques, B., Ruivo, C., Viana, David Leite, Vaz, J. V. & Vieira Vaz, J. (2025). Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024. Springer.