“Formal Verification of Emergent Properties”. Informatica, vol. 45, no. 3, Sept. 2021, https://doi.org/10.31449/inf.v45i3.3160.