A Formal Approach for Ensuring a Correct Reconfigurable Composite Service | IEEE Conference Publication | IEEE Xplore