Каменєв, О. Ю.; Лапко, А. О.; Щебликіна, О. В. МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник ВПІ 2020, 7-14.