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