V. V. Malovichko, N. Malovichko, and R. Rybalka, “Creation of a Mathematical Model of a Stationary Rail Circuit in the Form of a Finite Discrete Automaton”, STP, no. 2(106), pp. 5–11, Jun. 2024.