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

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

Арипов Н. М., Баратов Д. Х. Методика построения математической модели электронного документооборота технической документации железнодорожной автоматики //Автоматика на транспорте. – 2017. – Т. 3. – №. 1.

Баратов Д. Х., Арипов Н. М. Разработка системы учета и контроля электротехничкесих комплексов железнодорожной автоматики и телемеханики //Фундаментальные и прикладные научные исследования: актуальные вопросы. – 2018. – С. 64

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

Karim Kanso, Faron Moller, Anton Setzer. Automated Verification of Signalling Principles in Railway Interlocking Systems // Electronic Notes in Theoretical Computer Science. #250 (2009). Pp. 19–31.

Ефанов Д. В., Плеханов П. А. Обеспечение безопасности движения за счет технического диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики //Транспорт Урала. – 2011. – №. 3. – С. 44-48.

Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Ustoglu, Galip Cansever. Specication and formal verication of safety properties in a point automation system // Turkish Journal of Electrical Engineering & Computer Sciences. #24 (2016). 1384-1396.

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

Baratov D., Aripov N. The problems of electronic document management technical documentation on the basis of the hierarchical formalization //Proc. of VII International Scientific Conference and IV International symposium of young researchers: Transport problems. – 2015. – Т. 22. – С. 620.

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

Баратов Д.Х., Арипов Н.М., Болтаев А.Х. Автоматизированная система учета и контроля устройств железнодорожной автоматики и телемеханики. Авторское свидетесльство №DGU 03421 от 01.12.2015.

Соколов С. С., Беляева Н. А. Функциональная структура автоматизированной системы управления транспортно-складской инфраструктурой //Вестник государственного университета морского и речного флота им. адмирала СО Макарова. – 2012. – №. 3 (15).

Юрков Н. К. и др. Функциональная модель информационной технологии обеспечения надежности сложных электронных систем с учетом внешних воздействий //Труды Международного симпозиума «Надежность и качество». – 2014. – Т. 1.

Дубрановский И. В. Верификация C#-программ: перевод из языка C#-light в язык C#-kernel //Препринт ИСИ СО РАН JV. – 2004. – Т. 120.