Formal Methods in Architecture and Urbanism - David Leite Viana, Editor; Franklim Morais, Editor; Jorge Vieira Vaz, Editor (2018)