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

Figure 8

SMD for the autonomous overtaking system.