Coherent extension, composition, and merging operators in contract models for system design