Title: Extension to Schneider's General Paradigm for Fault-Tolerant Clock Synchronization