Task: Resolve contradicting requirements [Vehicle]
Relationships
Inputs
Mandatory:
Contradicting timing requirements [Vehicle]
Optional:
None
Outputs
Timing properties [Vehicle]