1. Lecture Notes in Computer Science;A. Awad,2008
2. Chapurlat, V., Braesch, C.: Verification, validation, qualification and certification of enterprise models: Statements and opportunities. J. Computers in Industry 59(7), 711–721 (2008)
3. Lecture Notes in Computer Science;J. Desel,2002
4. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint Technical Report 5969, Queensland University (2007)
5. Drumm, C., Filipowska, A., Hoffmann, J., Kaczmarek, M., Kaczmarek, T., Kowalkiewicz, M., Markovic, I., Scicluna, J., Vanhatalo, J., Völzer, H., Weber, I., Wieloch, K., Zyskowski, D.: Dynamic Composition Reasoning Framework and Prototype. Project IST 026850 SUPER, Deliverable 3.2, SAP (2007)