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