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