A method for specifying contract mediated interactions | IEEE Conference Publication | IEEE Xplore