L. M. Domingos et al.,  "Optimizing sustainability through digital tools Energy and carbon comparative analysis of brick, concrete and wood frame constructions in Coimbra residences", in Formal Methods in Architecture 2024, 2024