R. F. José et al.,  "Data Driven Spatial Analysis of Urban Renewal. Network Kernel Density Estimation of Building Renovation", in 5th Int. Symp.  Formal Methods in Architecture, Lisboa, 2020