Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety

Figure 10

One partial simulation trace for the autonomous overtaking system.