Xueli Fan, Jieming Chen, Qixin Wang, Edward Chung: A CAV Cooperative Lane Change Protocol With CTH Safety Guarantee on Dedicated Highways. IEEE Trans. Mob. Comput. 24(9): 8362-8378 (2025)