Using CVL to Support Self-Adaptation of Fault-Tolerant Service Compositions | IEEE Conference Publication | IEEE Xplore