Contract‐based System Design ‐ The SPEEDS Approach