Simona Correra, Valeria Sorgente, Giulia Varriano, Vittoria Nardone, Francesco Mercaldo, Antonella Santone: A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking. INTSYS 2024: 411-423