МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник Вінницького політехнічного інституту, n. 4, p. 7–14, 25 Вер2020.