J. Mendling, Empirical Studies in Process Model Verification, pp.208-224, 2009.
DOI : 10.1016/j.datak.2005.05.007

J. Mendling, H. Verbeek, B. F. Van-dongen, W. M. Van-der-aalst, and G. Neumann, Detection and prediction of errors in EPCs of the SAP reference model, Data & Knowledge Engineering, vol.64, issue.1, pp.312-329, 2008.
DOI : 10.1016/j.datak.2007.06.019

R. Bendraou, UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling, MoDELS, pp.17-38, 2005.
DOI : 10.1007/11557432_3
URL : https://hal.archives-ouvertes.fr/hal-01486927

R. Bendraou, J. Jézéquel, M. Gervais, and X. Blanc, A comparison of six uml-based languages for software process modeling. Software Engineering, IEEE Transactions on, vol.36, issue.5, pp.662-675, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00477520

N. Russell, W. M. Van-der-aalst, T. Hofstede, A. H. Wohed, and P. , On the suitability of uml 2.0 activity diagrams for business process modelling, Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling

Y. Dong and Z. Shensheng, Using ??-calculus to formalize UML activity diagram for business process modeling, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., pp.47-54, 2003.
DOI : 10.1109/ECBS.2003.1194782

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

N. Guelfi and A. Mammar, A formal semantics of timed activity diagrams and its PROMELA translation, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005.
DOI : 10.1109/APSEC.2005.7

W. Van-der-aalst, K. Van-hee, A. Ter-hofstede, N. Sidorova, H. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2011.
DOI : 10.1007/s00165-010-0161-4

D. Jackson, Software Abstractions: logic, language and analysis, 2011.

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

N. Tr?ka, W. Van-der-aalst, and N. Sidorova, Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows, pp.425-439, 2009.
DOI : 10.1093/comjnl/44.4.246

H. T. Jung and S. H. Joo, Transformation of an activity model into a Colored Petri Net model, Trendz in Information Sciences & Computing(TISC2010), pp.32-37, 2010.
DOI : 10.1109/TISC.2010.5714602

S. Motogna, F. Cr-ciun, and I. Lazar, Pârv: Formal definition of fuml in k-framework

I. Abdelhalim, J. Sharp, S. Schneider, and H. Treharne, Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP, pp.371-387, 2010.
DOI : 10.1007/978-3-642-16901-4_25