Ситников, В. В. Автоматизированный метод проверки ячеек «шлюз». Вестн. Ижевск. гос. тех. унив. 2017, 20, 130-131.