A Model for Checking Contractual Compliance of Business Interactions | IEEE Journals & Magazine | IEEE Xplore