Controllability Preservation and Behavioural Refinement for Service Protocols | IEEE Conference Publication | IEEE Xplore