Mapping OWL-S processes to multi agent systems: a verification oriented approach - Lomuscio,A; Solanki,M (IEEE, 2009)