A. Awad, M. Weidlich, and M. Weske, Visually specifying compliance rules and explaining their violations for business processes, Journal of Visual Languages & Computing, vol.22, issue.1, pp.30-55, 2011.
DOI : 10.1016/j.jvlc.2010.11.002

A. Demuth, R. Lopez-herrejon, and A. Egyed, Automatically generating and adapting model constraints to support co-evolution of design models, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.302-305, 2012.
DOI : 10.1145/2351676.2351730

R. Eshuis, Symbolic model checking of UML activity diagrams, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.1-38, 2006.
DOI : 10.1145/1125808.1125809

J. Hoffmann, I. Weber, and G. Governatori, On compliance checking for clausal constraints in annotated process models, Information Systems Frontiers, vol.29, issue.5, pp.155-177, 2012.
DOI : 10.1007/s10796-009-9179-7

D. E. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, and M. Gervais, A framework to formally verify conformance of a software process to a software method, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, pp.1518-1525, 2015.
DOI : 10.1145/2695664.2695789
URL : https://hal.archives-ouvertes.fr/hal-01215911

. Gervais, Metamodel and constraints co-evolution: A semi automatic maintenance of ocl constraints, The 15th International Conference on Software Reuse ICSR, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374665

M. Kuhrmann, D. M. Fernández, and T. Ternité, Realizing software process lines: insights and experiences, Proceedings of the 2014 International Conference on Software and System Process, ICSSP 2014, pp.99-108, 2014.
DOI : 10.1145/2600821.2600833
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.556

J. M. Küster, C. Gerth, A. Förster, and G. Engels, Detecting and Resolving Process Model Differences in the Absence of a Change Log, Business Process Management, pp.244-260, 2008.
DOI : 10.1007/978-3-540-85758-7_19

Y. Laurent, Alloy4PV: un Framework pour la Vérification de Procédés Métiers, 2015.

Y. Laurent, R. Bendraou, S. Baarir, and M. Gervais, Formalization of fUML: An Application to Process Verification, CAISE, pp.347-363, 2014.
DOI : 10.1007/978-3-319-07881-6_24
URL : https://hal.archives-ouvertes.fr/hal-01088190

A. Ocampo and J. Münch, Rationale modeling for software process evolution. Software Process: Improvement and Practice, pp.85-105, 2009.
DOI : 10.1002/spip.387

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

B. Weber, M. Reichert, J. Mendling, and H. A. Reijers, Refactoring large process model repositories, Computers in Industry, vol.62, issue.5, pp.467-486, 2011.
DOI : 10.1016/j.compind.2010.12.012
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.6372

B. Weber, M. Reichert, and S. Rinderle-ma, Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, pp.438-466, 2008.
DOI : 10.1016/j.datak.2008.05.001