An UPPAAL Model for Formal Verification of Master/Slave Clock Synchronization over the Controller Area Network | IEEE Conference Publication | IEEE Xplore