Analysis of the Welch-Lynch Fault-Tolerant Clock Synchronization Algorithm in UPPAAL