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