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

Figure 1

Modeling process and transformations in MDD.