Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems | IEEE Conference Publication | IEEE Xplore