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