1. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
2. T. Curran and G. Keller. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall, Upper Saddle River, NJ, 1997.
3. Lecture Notes in Computer Science,2004
4. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley, New York, NY, 2005.
5. Lecture Notes in Computer Science;C.W. Günther,2007