R. F. José et al.,  "Data-Driven Spatial Analysis of Urban Renewal. Network Kernel Density Estimation of Building Renovation", in Formal Methods in Architecture Proc. of the 5th Int. Symp. on Formal Methods in Architecture (5FMA), Lisbon 2020, Springer International Publishing, 2021, pp. 185-195