Berrada, Mohammed, et al. “Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems”. INFOCOMP Journal of Computer Science, vol. 6, no. 4, Dec. 2007, pp. 27-35, http://177.105.60.18/index.php/infocomp/article/view/192.