2021. Formal Verification of Emergent Properties. Informatica. 45, 3 (Sep. 2021). DOI:https://doi.org/10.31449/inf.v45i3.3160.