F. Morais et al.,  "Introduction: formal methods in architecture and urbanism", in Formal methods in architecture and urbanism, Newcastle upon Tyne, Cambridge Scholars Publishing, 2018, pp. 1-10