  Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache,
Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the
Development of Service-Oriented Applications, in Proc. of 18th International
Conference on Control Systems and Computer Science (CSCS-18), Bucharest,
Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"
