Berrada, M., Bounabat, B. and Harti, M. 2007. Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science. 6, 4 (Dec. 2007), 27–35.