Verifying OWL-S Service Process Models | IEEE Conference Publication | IEEE Xplore