An UPPAAL Model for Formal Verification of Master/Slave Clock Synchronization over the Controller Area Network
Guillermo Rodríguez-Navas, Julián Proenza, Hans Arne Hansson · 2006
Many distributed applications require a clock synchronization service. We have previously proposed a clock synchronization service for the Controller Area Network (CAN), which we have claimed to pr ...