Berrada, Mohammed, Bouchaib Bounabat, and Mostafa Harti. 2007. “Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems”. INFOCOMP Journal of Computer Science 6 (4):27-35. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192.