Towards a Formalization of Contracts for Service Substitution | IEEE Conference Publication | IEEE Xplore