Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), a Coruña 2022 - Mora, Plácido Lizancos; Morais, Franklim; Viana, David Leite; Vieira Vaz, Jorge (Singapore Springer Singapore Pte. Limited, 2023)