The Role of Service Contracts in Interoperability Mismatch Identification | IEEE Conference Publication | IEEE Xplore