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