Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration | IEEE Conference Publication | IEEE Xplore