Specification and Validation of a Simple Overtaking Protocol using LOTOS | Publicación