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