Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 - Sara Eloy; Leite Viana, David; Morais, Franklim; Vieira Vaz, Jorge (Springer International Publishing, 2021)