«МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ», Вісник ВПІ, вип. 4, с. 7–14, Вер 2020, doi: 10.31649/1997-9266-2020-151-4-7-14.