Formal Methods in Architecture and Urbanism, Volume 2 - Catarina Ruivo, Editor; David Leite Viana, Editor; Franklim Morais, Editor; Jorge Vieira Vaz, Editor (2021)