selected publications conference paper A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. IEEE International Conference on Services Computing. 411-418. 2015