Каменєв, О. Ю., А. О. Лапко, і О. В. Щебликіна. «МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ». Вісник Вінницького політехнічного інституту, no. 4 (Вересень 25, 2020): 7–14. дата звернення Квітень 19, 2025. https://visnyk.vntu.edu.ua./index.php/visnyk/article/view/2509.