R. Barkow, Grundlagen von EAM, Enterprise Architecture Management in der Praxis: Wandel, Komplexität und IT-Kosten im Unternehmen beherrschen, pp.15-47, 2011.

. Crown, Ministry of Defence (UK): MODAF Glossary v1

H. Kleinert, H. Van-megen, and T. Kohl, Integration von Prozess-und IT- Architekturmanagement, Prozessmanagement in der Assekuranz. Frankfurt-School-Verlag, Frankfurt am Main, pp.221-234, 2011.

E. Clarke, The Birth of Model Checking Years of Model Checking, LNCS, vol.5000, pp.25-26, 2008.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

S. Feja and D. Fötsch, Model Checking with Graphical Validation Rules, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.117-125, 2008.
DOI : 10.1109/ECBS.2008.45

E. M. Clarke and E. A. Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, pp.52-71, 1982.

E. Pulvermüller, S. Feja, and A. Speck, Developer-friendly verification of process-based systems, Special issue on " Intelligent Formal Techniques for Software Design: IFTSD ", pp.667-676, 2010.
DOI : 10.1016/j.knosys.2010.03.005

S. Feja, S. Witt, and A. Speck, BAM: A Requirements Validation and Verification Framework for Business Process Models, 2011 11th International Conference on Quality Software, pp.186-191, 2011.
DOI : 10.1109/QSIC.2011.33

E. A. Emerson and E. M. Clarke, Characterizing correctness properties of parallel programs using fixpoints, Automata, Languages and Programming , 7th Colloquium, pp.85-169, 1980.
DOI : 10.1007/3-540-10003-2_69

K. L. Mcmillan, Symbolic Model Checking, 1993.

W. M. Van-der-aalst, Formalization and verification of event-driven process chains, Information and Software Technology, vol.41, issue.10, pp.639-650, 1999.
DOI : 10.1016/S0950-5849(99)00016-6

B. B. Anderson, J. V. Hansen, P. B. Lowry, and S. L. Summers, Model checking for design and assurance of e-Business processes, Decision Support Systems, vol.39, issue.3, pp.333-344, 2005.
DOI : 10.1016/j.dss.2003.12.001

G. Decker and J. Mendling, Instantiation Semantics for Process Models, Business Process Management, 6th International Conference, pp.164-179, 2008.
DOI : 10.1007/978-3-540-85758-7_14

W. Van-der-aalst, Process Discovery: Capturing the Invisible, IEEE Computational Intelligence Magazine, vol.5, issue.1, pp.28-41, 2010.
DOI : 10.1109/MCI.2009.935307

K. Gerke, J. Cardoso, and A. Claus, Measuring the Compliance of Processes with Reference Models, Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I. OTM '09, pp.76-93, 2009.
DOI : 10.1007/978-3-642-05148-7_8

G. Governatori, J. Hoffmann, S. Sadiq, I. Weber, D. Ardagna et al., Detecting Regulatory Compliance for Business Process Models through Semantic Annotations, Business Process Management Workshops, pp.5-17, 2009.
DOI : 10.1007/11961536_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.2867

J. Becker, P. Bergener, P. Delfmann, M. Eggert, and B. Weiß, Supporting Business Process Compliance in Financial Institutions -A Model-Driven Approach, 10th Intern. Conf. on Wirtschaftsinformatik, pp.355-364, 2011.

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

L. T. Ly, S. Rinderle-ma, and P. Dadam, Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems, Proc 22nd intern . conf. on Advanced information systems engineering. CAiSE'10, pp.9-23, 2010.
DOI : 10.1007/978-3-642-13094-6_3

O. Vasilecas and A. Smaizys, Business Rule Model Integration into the Model of Transformation Driven Software Development, Advances in Databases and Information Systems, 13th East European Conference, pp.153-160, 2009.
DOI : 10.1007/978-3-642-12082-4_20

A. D. Medeiros, A. Karla, and V. D. Aalst, Semantic Process Mining Tools: Core Building Blocks, 16th European Conference on Information Systems, 2008.

A. L. Opdahl, G. Berio, M. Harzallah, and R. Matulevicius, An ontology for enterprise and information systems modelling, Applied Ontology, vol.7, issue.1, pp.49-92, 2012.

N. Russell, A. H. Ter-hofstede, W. M. Van-der-aalst, and N. Mulyar, Workflow Control-Flow Patterns: A Revised View, 2006.

N. Russell, A. H. Ter-hofstede, D. Edmond, and W. M. Van-der-aalst, Workflow Data Patterns, 2004.

K. Sandkuhl, Validation and Use of Information Demand Patterns in Higher Education, of Lecture Notes in Business Information Processing, pp.204-213, 2010.
DOI : 10.1007/978-3-642-15402-7_26

A. Förster, G. Engels, T. Schattkowsky, and R. Van-der-straeten, Verification of Business Process Quality Constraints Based on Visual Process Patterns, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.197-208, 2007.
DOI : 10.1109/TASE.2007.56