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 October 5, 2024. http://177.105.60.18/index.php/infocomp/article/view/192.