Boumaza, Kamal, et al. “Formal Verification of Emergent Properties”. Informatica, vol. 45, no. 3, Sept. 2021, doi:10.31449/inf.v45i3.3160.