Formal Verification of Emergent Properties. - Kamal Boumaza; Chérif Tolba; Iulian Ober (Informatica (Slovenia), 2021)