Title: Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems