Ковалев И, Сарамуд M, Лосев В, Колташев А. Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения. MIST [Интернет]. 23 июль 2021 г. [цитируется по 16 апрель 2024 г.];1(2):22-33. доступно на: https://oajmist.com/index.php/12/article/view/35