A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions | IEEE Conference Publication | IEEE Xplore