Ruivo, C., Morais, Franklim, Flores, Joaquim de Moura & Vaz, J. V. (2023). Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space. In Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture. (pp. 115-143).: Springer Nature Singapore.