R. P. Jagadeesh-chandra-bose and H. M. , Eric) Verbeek, and Wil M. P. van der Aalst. Discovering Hierarchical Process Models Using ProM, Proc. of CAISE'11 of CEUR Workshop Proceedings, pp.33-40, 2011.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999.
DOI : 10.1145/302405.302672

D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer et al., Analysis on demand: Instantaneous soundness checking of industrial business process models, Data & Knowledge Engineering, vol.70, issue.5, pp.448-466, 2011.
DOI : 10.1016/j.datak.2011.01.004

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01, pp.377-394, 2001.
DOI : 10.1007/0-306-47003-9_24

URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009

URL : https://hal.archives-ouvertes.fr/hal-00715056

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, VerChor: A Framework for the Design and Verification of Choreographies, IEEE Transactions on Services Computing, vol.9, issue.4, pp.647-660, 2016.
DOI : 10.1109/TSC.2015.2413401

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

S. Ivanov, A. A. Kalenkova, and W. M. Van-der-aalst, BPMNDiffViz: A Tool for BPMN Models Comparison, Proc. of BPMN'15 Demo Session, volume 1418 of CEUR Workshop Proceedings, pp.35-39, 2015.

P. Poizat, G. Salaün, and A. Krishna, Checking Business Process Evolution, Proc. of FACS'16
DOI : 10.1007/978-3-540-88194-0_22

URL : https://hal.archives-ouvertes.fr/hal-01366641

R. J. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556