1. Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. LNBIP, vol. 6. Springer, Heidelberg (2008)
2. Mendling, J., Reijers, H., van der Aalst, W.: Seven Process Modeling Guidelines (7PMG). Qut eprint. Queensland University of Technology (2008)
3. Lecture Notes in Computer Science;R.-H. Eid-Sabbagh,2013
4. LNBIP;R.-H. Eid-Sabbagh,2012
5. Hewelt, M., Wagner, T., Cabac, L.: Integrating verification into the PAOSE approach. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering, PNSE 2011. CEUR Workshop Proceedings, vol. 723, pp. 124–135. CEUR-WS.org (2011)