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

Figure 5

A possible schedule of clock relations: (a) , (b) , (c) , (d) , (e) ≼ , and (f) .

(a)

(b)

(c)

(d)

(e)

(f)