Service-Oriented Mediation with jETI/jABC: Verification and Export | IEEE Conference Publication | IEEE Xplore