A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions | IEEE Conference Publication | IEEE Xplore