G. Fleischanderl, G. E. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998.
DOI : 10.1109/5254.708434

G. Governatori and S. Sadiq, The Journey to Business Process Compliance, Handbook of Research on BPM, pp.426-454, 2009.
DOI : 10.4018/978-1-60566-288-6.ch020

C. Cabanillas, M. Resinas, A. Del-río-ortega, and A. Ruiz-cortés, Specification and automated design-time analysis of the business process human resource perspective, Information Systems, vol.52, pp.55-82, 2015.
DOI : 10.1016/j.is.2015.03.002

M. Bozzano and A. Villafiorita, Design and safety assessment of critical systems, 2010.
DOI : 10.1201/b10094

W. Van-der-aalst, Process mining: discovery, conformance and enhancement of business processes, 2011.

M. F. Lopez, A. G. Perez, and N. Juristo, METHONTOLOGY: from Ontological Art towards Ontological Engineering, AAAI97 Symposium, pp.33-40, 1997.

C. Cabanillas, A. Haselböck, J. Mendling, A. Polleres, S. Sperl et al., Engineering Domain Ontology

S. Steyskal and A. Polleres, Defining expressive access policies for linked data using the ODRL ontology 2.0, Proceedings of the 10th International Conference on Semantic Systems, SEM '14, pp.20-23, 2014.
DOI : 10.1145/2660517.2660530

M. C. Suárez-figueroa, A. Gómez-pérez, and B. Villazón-terrazas, How to write and use the Ontology Requirements Specification Document, " in On the move to meaningful internet systems: OTM, pp.966-982, 2009.

N. Russell, W. M. Van-der-aalst, A. H. Ter-hofstede, and D. Edmond, Workflow Resource Patterns: Identification, Representation and Tool Support, CAiSE, pp.216-232, 2005.
DOI : 10.1007/11431855_16
URL : http://is.tm.tue.nl/staff/wvdaalst/publications/p254.pdf

C. Cabanillas, M. Resinas, J. Mendling, and A. R. Cortés, Automated team selection and compliance checking in business processes, Proceedings of the 2015 International Conference on Software and System Process, ICSSP 2015, pp.42-51, 2015.
DOI : 10.14778/1978665.1978671

C. Cabanillas, M. Resinas, and A. Ruiz-cortés, RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes, Business Process Management Workshops (BPD'11), pp.50-61, 2011.
DOI : 10.1145/300830.300837

C. Cabanillas, D. Knuplesch, M. Resinas, M. Reichert, J. Mendling et al., RALph: A Graphical Notation for Resource Assignments in Business Processes, CAiSE, vol.9097, pp.53-68, 2015.
DOI : 10.1007/978-3-319-19069-3_4

W. Zuberek, Timed Petri nets definitions, properties, and applications, Microelectronics Reliability, vol.31, issue.4, pp.627-644, 1991.
DOI : 10.1016/0026-2714(91)90007-T

G. Havur, C. Cabanillas, J. Mendling, and A. Polleres, Automated Resource Allocation in Business Processes with Answer Set Programming, BPM Workshops (BPI), p. In press, 2015.
DOI : 10.1016/j.infsof.2013.12.004

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, vol.50, issue.12, pp.1281-1294, 2008.
DOI : 10.1016/j.infsof.2008.02.006

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of BPMN process models using Petri nets, 2007.

W. M. Van-der-aalst, THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.
DOI : 10.1142/S0218126698000043

N. Lohmann, E. Verbeek, and R. Dijkman, Petri??Net Transformations for Business??Processes ??? A??Survey, Transactions on Petri Nets and Other Models of Concurrency II, pp.46-63, 2009.
DOI : 10.1016/j.datak.2007.06.006
URL : http://wwwteo.informatik.uni-rostock.de/ls_tpp/publications/LohmannVD_2008_topnoc.pdf

M. Weber and E. Kindler, The Petri Net Markup Language, Lecture Notes in Computer Science, vol.2472, pp.124-144, 2003.
DOI : 10.1007/978-3-540-40022-6_7
URL : https://hal.archives-ouvertes.fr/hal-00084186

L. T. Ly, F. M. Maggi, M. Montali, S. Rinderle-ma, and W. Van-der-aalst, Compliance monitoring in business processes: Functionalities, application, and tool-support, Information Systems, vol.54, pp.209-234, 2015.
DOI : 10.1016/j.is.2015.02.007
URL : https://doi.org/10.1016/j.is.2015.02.007

J. Fuchsbauer, How to manage Processes according to the European Norm 50126 (EN 50126), 2015.

S. Steyskal, Engineering Domain Ontology, 2016.

H. Knublauch and A. Ryman, Shapes Constraint Language (SHACL) Working Draft (work in progress, W3C, 2016.

K. R. Bouzidi, C. Faron-zucker, B. Fies, and N. L. Thanh, An Ontological Approach for Modeling Technical Standards for Compliance Checking, Web Reasoning and Rule Systems, pp.244-249, 2011.
DOI : 10.1007/3-540-45594-9_2
URL : https://hal.archives-ouvertes.fr/hal-00790338

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.6, issue.3, 2012.
DOI : 10.2200/S00457ED1V01Y201211AIM019

G. Brewka, T. Eiter, and M. Truszczy´nskitruszczy´nski, Answer set programming at a glance, Communications of the ACM, vol.54, issue.12, pp.92-103, 2011.
DOI : 10.1145/2043174.2043195

A. Dovier, A. Formisano, and E. Pontelli, A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems, Logic Programming, pp.67-82, 2005.
DOI : 10.1007/11562931_8

M. Aschinger, C. Drescher, G. Friedrich, G. Gottlob, P. Jeavons et al., Optimization Methods for the Partner Units Problem, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp.4-19, 2011.
DOI : 10.1007/11564751_73
URL : http://www.cs.ox.ac.uk/files/3919/cpaior.pdf

F. Calimeri, M. Gebser, M. Maratea, and F. Ricca, Design and results of the Fifth Answer Set Programming Competition, Artificial Intelligence, vol.231, 2016.
DOI : 10.1016/j.artint.2015.09.008

T. Eiter, G. Ianni, T. Krennwallner, and A. Polleres, Rules and Ontologies for the Semantic Web, pp.1-53, 2008.
DOI : 10.1007/978-3-540-39733-5_4
URL : http://axel.deri.ie/~axepol/publications/eite-etal-2008.pdf

W. M. Van-der-aalst and A. H. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

L. J. Stroppi, O. Chiotti, and P. D. Villarreal, A BPMN 2.0 Extension to Define the Resource Perspective of Business Process Models, CIbS'11, 2011.

J. M. Giray-havur and C. Cabanillas, Resource and data management service architecture

B. F. Van-dongen, A. K. De-medeiros, H. M. Verbeek, A. J. Weijters, W. M. Van-der et al., The ProM Framework: A New Era in Process Mining Tool Support, Lect. Notes Comput. Sci, vol.3536, pp.444-454, 2005.
DOI : 10.1007/11494744_25

E. Kindler, V. Rubin, and W. Schäfer, Activity Mining for Discovering Software Process Models, Softw. Eng, vol.79, pp.175-180, 2006.

W. Poncin, A. Serebrenik, and M. V. Brand, Process Mining Software Repositories, 2011 15th European Conference on Software Maintenance and Reengineering, pp.5-14, 2011.
DOI : 10.1109/CSMR.2011.5
URL : http://ifipwg213.org/sites/flosshub.org/files/2011-03_CSMR.pdf

C. , D. Ciccio, M. Mecella, M. Scannapieco, D. Zardetto et al., MailOfMine -Analyzing mail messages for mining artful collaborative processes, Lect. Notes Bus. Inf. Process, vol.116, pp.55-81, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01515541

S. Bala, C. Cabanillas, J. Mendling, A. Rogge-solti, and A. Polleres, Mining Project-Oriented Business Processes, BPM, pp.425-440, 2015.
DOI : 10.1007/978-3-319-23063-4_28

C. M. Pilato, B. Collins-sussman, and B. W. Fitzpatrick, Version control with subversion, 2008.

L. Torvalds and J. Hamano, Git: Fast version control system, 2010.

C. Cabanillas, S. Bala, J. Mendling, and A. Polleres, Combined method for mining and extracting processes, related events and compliance rules from unstructured data, tech. rep, 2016.

B. F. Van-dongen and S. Shabani, Relational XES : Data Management for Process Mining, BPM Cent. Rep. BPM, pp.15-17, 2015.

S. Schönig, C. Cabanillas, S. Jablonski, and J. Mendling, Mining the Organisational Perspective in Agile Business Processes, BPMDS, pp.37-52, 2015.
DOI : 10.1007/978-3-319-19237-6_3

S. Wilke, A. Majumdar, and W. Y. Ochieng, Airport surface operations: A holistic framework for operations modeling and risk management, Safety Science, vol.63, pp.18-33, 2014.
DOI : 10.1016/j.ssci.2013.10.015

J. Bowen and V. Stavridou, Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, pp.189-209, 1993.
DOI : 10.1049/sej.1993.0025

O. Daramola, G. Sindre, and T. Moser, A tool-based semantic framework for security requirements specification, J. UCS, vol.19, issue.13, pp.1940-1962, 2013.

R. M. Zahoransky, C. Brenig, and T. Koslowski, Towards a Process-Centered Resilience Framework, 2015 10th International Conference on Availability, Reliability and Security, pp.266-273, 2015.
DOI : 10.1109/ARES.2015.68

A. K. De-medeiros, W. Van-der-aalst, and C. Pedrinaci, Semantic process mining tools: core building blocks, 2008.

W. Van-der-aalst, Petri net based scheduling, Operations-Research-Spektrum, vol.6, issue.4, pp.219-229, 1996.
DOI : 10.1007/978-3-642-68353-4_47

P. Senkul and I. H. Toroslu, An architecture for workflow scheduling under resource allocation constraints, Information Systems, vol.30, issue.5, pp.399-422, 2005.
DOI : 10.1016/j.is.2004.03.003

S. Bala, G. Havur, S. Sperl, S. Steyskal, A. Haselböck et al., SHAPEworks: A BPMS Extension for Complex Process Management, 2016.