Satisfaction of Control Objectives by Control Processes - Marino, Daniela (Service-oriented computing, 2009)