PASCAL: A Protocol-Based Approach for Service Composition and Dependable Optimization | IEEE Conference Publication | IEEE Xplore