Modélisation et vérification des modèles de processus Métier. - RACHDI Youssef (My University, 2016)