Semantic Integration of System Specifications to Support Different System Engineering Disciplines | IEEE Conference Publication | IEEE Xplore