Berrada, M., Bounabat, B., & Harti, M. (2007). Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science, 6(4), 27–35. Retrieved from http://177.105.60.18/index.php/infocomp/article/view/192