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 https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192