С. В. Корякин, «РАЗРАБОТКА УНИВЕРСАЛЬНОЙ СРЕДЫ ПРОЕКТИРОВАНИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ЗАЩИЩЕННОГО ИСПОЛНЕНИЯ», ПАУ, вып. 2, сс. 40–55, июл. 2021.