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