Runtime Monitoring of Data-centric Temporal Properties for Web Services | IEEE Conference Publication | IEEE Xplore