Berrada, M., 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, Dec. 2007, pp. 27-35, https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192.