A contract-extended push-pull-clone model | IEEE Conference Publication | IEEE Xplore