Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach | IEEE Conference Publication | IEEE Xplore