Towards verifying contract regulated service composition - Lomuscio,A; Qu,H; Solanki,M (AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2012)