M. L. Mattos et al.,  "Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach", in Formal Methods in Architecture , Plácido Lizancos-Mora; David Leite Viana; Franklim Morais; Jorge Vaz, Ed., SSpringer Singapura, 2023, vol. 1, pp. 175-200