An UPPAAL Model for Formal Verification of Master/Slave Clock Synchronization over the Controller Area Network | Publicación