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