Каменєв, О.Ю., Лапко, А.О. і Щебликіна, О.В. 2020. МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник Вінницького політехнічного інституту. 4 (Верес. 2020), 7–14. DOI:https://doi.org/10.31649/1997-9266-2020-151-4-7-14.