V. D. Leite et al.,  Formal Methods in Architecture and Urbanism, David Leite Viana and Franklim Morais and Jorge Vieira Vaz and Catarina Ruivo Pereira, Ed., 2021