International Symposium on Formal Methods in Architecture 2022 Formal methods in architecture : proceedings of the 6th international symposium on formal methods in architecture (6FMA), A Coruña 2022 2020 Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 List of contributions