Расчет зарплаты, "ночных", праздников и переработок при суммированном учете

Вопрос:

4 диспетчера работают по суммированному учету рабочего времени (по графику).

При начислении оплаты праздничных дней месяца (праздничный день попадает по графику дежурства, включая работу в ночное время) учитывается ли этот день при суммировании рабочих часов за месяц для оплаты за переработку за месяц или квартал при выплате за этот день в двойном размере и еще при выплате за ночное время?

Как оплачивать переработку в часах при суммированном учете рабочего времени и при оплате праздничных дней в одном месяце, что учитывать?

Ждем ответа со ссылкой на законодательство РФ.