Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain | IEEE Conference Publication | IEEE Xplore