M. Franklim et al.,  "Integrating Formal Methodologies in a Multilayered Analysis for Management Policies for the Pedestrian Use of Public Space", in 6th Int. Symp. Formal Methods in Architecture, A Coruña, 2022