Contracts for System Design