Formal characterization of an efficient driving evaluation process for companies of the transport sector | Publicación