Towards a Formal Verification Approach for Service Component Architecture Chapter uri icon