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