Berrada, M.; Bounabat, B.; Harti, M. Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science 2007, 6, 27-35.