Программный комплекс для статического тестирования СИСТЕМЫ КОНТРОЛЯ И УПРАВЛЕНИЯ на базе ТПТС-ЕМ,51 (Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, 2019)