Eloy, S., Viana, D. L., Morais, F. & Vaz, J. V. (2021). Formal Methods in Architecture Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Lisboa. Springer.