Boumaza, K., Tolba, C. and Ober, I. (2021) “Formal Verification of Emergent Properties”, Informatica, 45(3). doi: 10.31449/inf.v45i3.3160.