“Formal Verification of Emergent Properties” (2021) Informatica, 45(3). doi:10.31449/inf.v45i3.3160.