On the Verification of Behavioral and Probabilistic Web Services Using Transformation | IEEE Conference Publication | IEEE Xplore