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