Formal Methods in Architecture and Urbanism - Viana, David Leite; Vaz, J. V.; Morais, Franklim; Ruivo, C. (2021)