Ковалев, И., Сарамуд M., Лосев, В. и Колташев, А. (2021) «Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения», Современные инновации, системы и технологии - Modern Innovations, Systems and Technologies, 1(2), сс. 22–33. doi: 10.47813/2782-2818-2021-1-2-22-33.