1. Gavzov, D. V., Sapozhnikov, V. V., Sapozhnikov, Vl. V. Methods for ensuring safety of discrete systems [Metody obespecheniya bezopasnosti diskretnykh sistem]. Avtomatika i telemekhanika, 1994, Iss. 8, pp. 3−50. [Electronic resource]: http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=at&paperid=3949&option_lang=rus. Last accessed 26.02.2022.
2. Sapozhnikov, V. V., Sapozhnikov, Vl. V., Khristov, Kh. A., Gavzov, D. V. Methods for constructing safe microelectronic systems for railway automatics: Monograph [Metody postroeniya bezopasnykh mikroelektronnykh sistem zheleznodorozhnoi avtomatiki: Monografiya]. Ed. by Vl. V. Sapozhnikov. Moscow, Transport publ., 1995, 272 p. ISBN 5-277-01690-2.
3. Lisenkov, V. M. Statistical theory of train traffic safety [Statisticheskaya teoriya bezopasnosti dvizheniya poezdov]. Moscow, VINITI RAS publ., 1999, 331 p. ISBN 5-900242-29-3.
4. Bestemyanov, P. F. Methods for ensuring the safety of hardware of microprocessor-based train control systems. Elektrotekhnika, 2020, Iss. 9, pp. 2−8. [Electronic resource]: https://elibrary.ru/item.asp?id=44000551 [access restricted for subscribers].
5. Railway Signalling and Interlocking: International Compendium. 3ed ed. Eds.: Dr. G. Theeg, Dr. S. Vlasenko. Germany, PMC Media House GmbH, 2020, 560 p. ISBN 978-3-96245-169-1.