Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain