Leader :フェイルオーバーのための同期動作。現代のタイミングシステムにおける基準不一致の解消