Model‐based analysis and specification of functional requirements and tests for complex automotive systems | Synapse