Model Checking of Intersection Traffic Control Protocols. - Yuya Noguchi; Tatsuhiro Tsuchiya (ICECCS, 2023)