Other documents Specification of Goal-oriented IoT Service Composition and Testing (Design Time) Project Final Public Report