B. Marques et al.,  Formal Methods in Architecture: 7th Int. Symp. Book of Abstracts, Porto, CESAP - Cooperativa de Ensino Superior Artístico, 2025