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, David Leite Viana, Franklin Morais, Jorge Vaz, Ed., Porto, Escola Superior Artística do Porto, 2018, pp. 32-32