Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata. - Xinhai Chen; Wei Liu; Chang Rao; Yu Zhang; Wanling Du (QRS Companion, 2023)