Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking | Publicación