The TCPN-based Verification of Temporal Consistency in Web Service Process | IEEE Conference Publication | IEEE Xplore