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