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