1. Eshuis, R., Jansen, D., Andwieringa, R.: Requirements-level Semantics and Model Checking of Object-Oriented Statecharts. Requirements Eng. J. 7, 243–263 (2002)
2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2004)
3. Object Management Group: UML Specification V2.0. (2005), http://www.omg.org/technology/documents/modelingspeccatalog.htm
4. Lecture Notes in Computer Science;L. Baresi,2002
5. Applications, Languages and Tools,1999