B. Marques et al.,  7th Int. Simposium Formal Methods in Architecture - Book of Abstracts, 1ª ed., Porto, Escola Superior Artística do Porto, 2024