Introduction: formal methods in architecture and urbanism - Morais, F.; Viana, D. L.; Vaz, J. V. (Formal methods in architecture and urbanism, 2018)