Булавский П.Е., Баратов Д.Х. Принципы организации и особенности электронного документооборота технической документации службы автоматики и телемеханики железной дороги // Сборник “Автоматика и телемеханика железных дорог России”. Техника, технология, сертификация.Сборник научных трудов/ Под ред. Сапожникова Вл.В. Спб.: ПГУПС, 2008. С. 31 - 37

Булавский П.Е. Концептуальная модель электронного документооборота технической документации // Транспорт Российской Федерации. 2011. №1(32). C. 60 - 63

Булавский П.Е. Синтез формализованной схемы электронного документооборота систем железнодорожной автоматики и телемеханики / Булавский П.Е., Марков Д.С. // Известия ПГУПС. Вып. № 4. 2010. С. 63–74

Баратов Д.Х. Вопросы моделирования электронного документооборота автоматизированных технологических процессов // Научный вестник “Машиностроение”. 2017. №1. С.62 -67

Арипов Н.М., Баратов Д.Х. О документообороте в хозяйстве автоматики и телемеханики и внедрение безбумажной технологии ведения технической документации // Вестник ТашИИТ. 2015. №2. С.77 - 81

Булавский П.Е., Марков Д.С., Соколов В.Б., Константинова Т.Ю. Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2015. №4.Т.1. С.418 - 432

Булавский П.Е. Электронный документооборот технической документации / Булавский П.Е., Марков Д.С. // Автоматика, связь, информатика. 2012. №2. С.2 - 4

Круковский М.Ю. Концепция построения моделей композитного документооборота // Математичні машини і системи. 2004. № 2. С.149–163.

Арипов Н.М., Баратов Д.Х. Мирсалихов Э.А. Моделирование электронного документооборота технической документации железнодорожной автоматики // Проблемы информатики и энергетики. 2016. №2. С.78 - 84

Diestel R. Graph Theory, Electronic Edition. N.Y.: Springer-Verlag, 2005. С. 422

Круковский М.Ю. Графовая модель композитного документооборота // Математичні машини і системи. 2005. № 3. С. 149 - 163

Car son J. S. Model verification and validation // Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08–11, 2002. P. 52–58

Karim Kanso, Far on Moller, Anton Setzer. Automated Verification of Signalling Principles in Railway Interlocking Systems // Electronic Notes in Theoretical Computer Science. 2009.№250. P. 19–31

Ibr ahim Sener , Ozgur Tur ay Kaymak ci , Ilker Ustoglu , Galip Cansever . Specication and formal verication of safety properties in a point automation system // Turkish Journal of Electrical Engineering & Computer Sciences. 2016. №24. 1384 - 1396

Bar atov D., Aripov N. Formalization of electronic technical document management of railway automatics and telemechanics // European Applied Sciences. 2016.№8. P.33 - 36

Иванова Н.А., Бекезина К.М. Развитие и возможности технологий QR-кодирования в современном мире // Современные научные исследования и инновации.2015.№11[Электронный ресурс]. URL: http://web.snauka.ru/issues/2015/11/59467 (дата обращения: 30.05.2018)

Николаенко Г.А ., Евсикова Е.В. Перспективы использования QR-кодировки в академической сфере // Социология науки и технологий. 2015. № 2. Т. 6. С.109 - 118