Task: Verify timing [Vehicle]
Direct and Derived timing properties are compared with the (transformed) Timing Requirements
Relationships
Properties
Predecessor
Multiple Occurrences
Event Driven
Ongoing
Optional
Planned
Repeatable