Ковалев, И. В., Лосев, В. В. и Калинин, А. О. (2023) «Формализованный подход к проектированию микропроцессорных систем с элементами человеко-машинного взаимодействия», Современные инновации, системы и технологии - Modern Innovations, Systems and Technologies, 3(2), сс. 0243–0253. doi: 10.47813/2782-2818-2023-3-2-0243-0253.