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

Figure 2

View of MARTE architecture and time package.