V. Malovichko і N. Malovichko, «Математична модель роботи чотирьохзначного станційного вихідного світлофора у вигляді дискретного автомату моделі Мура», EMCSRT, вип. 15, Лип 2018.