1. A. Efeoglu, SAP Enterprise Service Workplace Handbook (SAP, 2007)
2. E.A. Emerson, C.S. Jutla, A.P. Sistla, On model-checking for fragments of μ-calculus, in Computer Aided Verification, 5th International Conference, CAV’93, Elounda, Greece, June 28–July 1, 1993
3. GEAR: game-based, easy and reverse model-checking, http://jabc.cs.uni-dortmund.de/gear/
4. K. Gomadan, A. Ranabahu, Z. Wu, A. Sheth, J. Miller, A declarative approach using SAWSDL and semantic templates towards process mediation, in Semantic Web Services Challenge – Results From the First Year, (Springer, Dordrecht, 2008), pp. 101–118
5. F. Howar, B. Steffen, M. Merten, From ZULU to RERS – lessons learned in the ZULU challenge, Prof. ISoLA 2010. LNCS, vol. 6415 (Springer, Heidelberg, 2010), pp. 687–704