Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network | Publicación