1. Agarwal, V., Dasgupta, K., et al.: A Service Creation Environment Based on End to End Composition of Web Services. In: Proceedings WWW 2005 (2005)
2. Alagar, V., Mohammad, M.: Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems. In: Proceedings of SAVCBS 2007, September 2007, pp. 88–93. AM Publications (2007)
3. Alagar, V., Mohammad, M.: A Component Model for Trustworthy Real-Time Reactive Systems Developmen. In: Formal Aspects of Component Software (FACS 2007) (September 2007), http://users.encs.concordia.ca/~ms_moham/FACS07.pdf
4. Ankolenkar, A., Burstein, M., Hobbs, J., et al.: DAML-S Semantic Markup for Web Services (2002), http://www.daml.org/services/daml-s/2001/05/daml-s.html
5. Arkin, A., et al.: Web Services Choreography Interface WSCI (2002), http://www.w3.org/TR/wsci/