Towards Specification and Refinement of Contracts with Environment Changes | IEEE Conference Publication | IEEE Xplore