Dual mode for vehicular platoon safety: Simulation and formal verification. - Oussama Karoui; Mohamed Khalgui; Anis Koubâa; Emna Guerfala; Zhiwu Li 001; Eduardo Tovar (Inf. Sci., 2017)