F. J. Brandão et al.,  "Measuring Urban Renewal: a dual kernel density estimation to assess the intensity of building renovation", in 4th Int. Symp.: Formal Methods in Architecture, Porto, 2018