W. M. Van-der-aalst, Process Mining -Data Science in Action, 2016.

W. M. Van-der-aalst and B. F. Van-dongen, Discovering Workflow Performance Models from Timed Logs, Proc. of EDCIS, pp.45-63, 2002.
DOI : 10.1007/3-540-45785-2_4

G. Agha, J. Meseguer, and K. Sen, PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.213-239, 2006.
DOI : 10.1016/j.entcs.2005.10.040

G. Agha and K. Palmskog, A Survey of Statistical Model Checking, ACM Transactions on Modeling and Computer Simulation, vol.28, issue.1, pp.1-6, 2018.
DOI : 10.1007/s10703-013-0195-3

M. Alturki and J. Meseguer, PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool, Proc. of CALCO, pp.386-392, 2011.
DOI : 10.1007/978-3-642-22944-2_28

M. Alturki, J. Meseguer, and C. A. Gunter, Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol, Electronic Notes in Theoretical Computer Science, vol.234, pp.3-18, 2009.
DOI : 10.1016/j.entcs.2009.02.069

C. Arevalo, M. J. Cuaresma, I. M. Ramos, and M. Domínguez-muñoz, A metamodel to integrate business processes time perspective in, Information & Software Technology, pp.17-33, 2016.

C. Baier, B. Haverkort, H. Hermanns, and J. P. Katoen, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180

K. R. Braghetto, J. E. Ferreira, and J. M. Vincent, Performance Evaluation of Business Processes through a Formal Transformation to SAN, Proc. of EPEW, pp.42-56, 2011.
DOI : 10.1007/978-3-540-88194-0_22
URL : https://hal.archives-ouvertes.fr/hal-00788798

R. Bruni, A. Corradini, G. L. Ferrari, T. Flagella, R. Guanciale et al., Applying Process Analysis to the Italian eGovernment Enterprise Architecture, Proc. of WS-FM, pp.111-127, 2011.
DOI : 10.1007/978-3-642-29834-9_9

R. Bruni and J. Meseguer, Semantic foundations for generalized rewrite theories, Theoretical Computer Science, vol.360, issue.1-3, pp.386-414, 2006.
DOI : 10.1016/j.tcs.2006.04.012

M. Capel and L. Mendoza-morales, Automating the Transformation from BPMN Models to CSP+T Specifications, 2012 35th Annual IEEE Software Engineering Workshop, pp.100-109, 2012.
DOI : 10.1109/SEW.2012.17

D. R. Christiansen, M. Carbone, and T. T. Hildebrandt, Proc. of WS-FM, pp.146-160, 2011.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, LNCS, vol.4350, 2007.

M. Clavel, F. Durán, J. Hendrix, S. Lucas, J. Meseguer et al., The Maude Formal Tool Environment, Proc. of CALCO, pp.173-178, 2007.
DOI : 10.1007/978-3-540-73859-6_12

F. Corradini, F. Fornari, A. Polini, B. Re, F. Tiezzi et al., BProVe: A formal verification framework for business process models, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.217-228, 2017.
DOI : 10.1109/ASE.2017.8115635

R. 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

F. Durán, C. Rocha, and G. Salaün, A Note on Stochastic Analysis of BPMN Timing Properties in Rewriting Logic, 2017.

F. Durán, C. Rocha, and G. Salaün, Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT, Proc. of WRLA, 2018.

F. Durán and G. Salaün, Verifying Timed BPMN Processes Using Maude, Proc. of COORDINATION, pp.219-236, 2017.
DOI : 10.1016/j.entcs.2009.06.029

J. Eckhardt, T. Mühlbauer, M. Alturki, J. Meseguer, and M. Wirsing, Stable Availability under Denial of Service Attacks through Formal Patterns, Proc. of FASE, pp.78-93, 2012.
DOI : 10.1007/978-3-642-28872-2_6

S. Eker, J. Meseguer, and A. Sridharanarayanan, The Maude LTL Model Checker, Proc. of WRLA, pp.115-142, 2002.
DOI : 10.1016/S1571-0661(05)82534-4

N. El-saber and A. Boronat, BPMN Formalization and Verification using Maude, Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA '14, pp.1-8, 2014.
DOI : 10.1145/2630768.2630769

D. Gagné and A. Trudel, Proc. of CEC'09, pp.361-367, 2009.

V. Gruhn and R. Laue, Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.
DOI : 10.1016/j.entcs.2005.10.035

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994.
DOI : 10.1109/TSE.1986.6313045

L. Herbert and R. Sharp, Using Stochastic Model Checking to Provision Complex Business Services, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, pp.98-105, 2012.
DOI : 10.1109/HASE.2012.29

I. Iec, International Standard 19510 ? Business Process Model and Notation, 2013.

A. Kheldoun, K. Barkaoui, and M. Ioualalen, Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach, Proc. of BPMN, pp.55-71, 2015.
DOI : 10.1007/978-3-319-23063-4_4

S. Konrad and B. H. Cheng, Real-time Specification Patterns, Proc. of ICSE'05, pp.372-381, 2005.

A. Krishna, P. Poizat, and G. Salaün, VBPMN: Automated verification of BPMN processes, Proc. of IFM'17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01591665

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

K. G. Larsen and A. Legay, Statistical model checking past, present, and future, Proc. of ISoLA, pp.14-135, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01406518

R. Mateescu, G. Salaün, and L. Ye, Quantifying the parallelism in BPMN processes using model checking, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.159-168, 2014.
DOI : 10.1145/2602458.2602473
URL : https://hal.archives-ouvertes.fr/hal-01016412

L. Mendoza-morales, M. Capel, and M. Pérez, A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes, Proc. of ICEIS, pp.388-403, 2010.

L. Mendoza-morales, M. Capel, and M. Pérez, Conceptual framework for business processes compositional verification, Information and Software Technology, vol.54, issue.2, pp.149-161, 2012.
DOI : 10.1016/j.infsof.2011.08.004

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

J. Meseguer, M. Palomino, and N. Martí-oliet, Proc. of CADE'03, pp.2-16, 2003.

M. Object and . Group, Business Process Model and Notation ? V. 2, 2011.

C. Oliveira, R. Lima, T. Andre, and H. Reijers, Modeling and Analyzing Resource-constrained Business Processes Proc. of SMC, IEEE, pp.2824-2830, 2009.

P. C. Olveczky and J. Meseguer, Semantics and Pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation, pp.161-196, 2007.

P. Poizat and G. Salaün, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393

P. Poizat, G. Salaün, and A. Krishna, Proc. of FACS, pp.36-53, 2016.

I. Raedts, M. Petkovic, Y. S. Usenko, J. M. Van-der-werf, J. F. Groote et al., Transformation of BPMN Models for, Proc. of MSVVEIS, pp.126-137, 2007.

C. Rocha, J. Meseguer, and C. Muñoz, Rewriting modulo SMT and open system analysis, Journal of Logical and Algebraic Methods in Programming, vol.86, issue.1, pp.269-297, 2017.
DOI : 10.1016/j.jlamp.2016.10.001

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, Computer Aided Verification, 17th International Conference, CAV 2005 Proceedings, pp.266-280, 2005.
DOI : 10.1007/11513988_26

Y. Sun and J. Su, Computing Degree of Parallelism for BPMN Processes, Proc. of ICSOC, pp.1-15, 2011.
DOI : 10.1109/IPDPS.2007.370305

C. Walck, Handbook on Statistical Distributions for Experimentalists, 2007.

P. Wong and J. Gibbons, Proc. of ICFEM, pp.355-374, 2008.

P. Wong and J. Gibbons, Proc. of QSIC, IEEE, pp.126-131, 2008.

P. Y. Wong and J. Gibbons, A Relative Timed Semantics for BPMN, Electronic Notes in Theoretical Computer Science, vol.229, issue.2, pp.59-75, 2009.
DOI : 10.1016/j.entcs.2009.06.029

M. T. Wynn, H. M. Verbeek, W. M. Van-der-aalst, A. H. Ter-hofstede, and D. Edmond, Business Process Verification -Finally a Reality! Business Process Management Journal, pp.74-92, 2009.