1. Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Reading (2010)
2. Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business Process Verification - Finally a Reality! Business Process Management Journal 15(1), 74–92 (2009)
3. Breitling, M.: Business Consulting, Service Packages & Benefits. Technical report, Intershop Customer Services, Jena (2002)
4. Lecture Notes in Computer Science;S. Feja,2010
5. Anders, E.: Modellierung und Validierung von Prozessmodellen auf Basis variabler Modellierungsnotationen und Validierungsmethoden als Erweiterung für Eclipse, Diploma Thesis (2010)