1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services–Concepts, Architectures and Applications. Springer, Heidelberg (2004)
2. Alur, R.: Timed Automata. In: Computer Aided Verification, pp. 8–22 (1999)
3. Jeelani Basha, S., Irani, R.: AXIS: the next generation of Java SOAP. Wrox Press (2002)
4. Lecture Notes in Computer Science;A. Bertolino,2007
5. Lecture Notes in Computer Science;L.B. Briones,2005