Task: Verify timing [Oper]
Direct and Derived timing properties are compared with the (transformed) Timing Requirements
Relationships