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