C. R. Pereira et al.,  "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 Int. Symp. on Formal Methods in Architecture, Springer Nature Singapore, 2023, pp. 115-143