Morais, F., Viana, D. L. & Vaz, J. V. (2018). Introduction: formal methods in architecture and urbanism. In Formal methods in architecture and urbanism. (pp. 1-10). Newcastle upon Tyne: Cambridge Scholars Publishing.