1. Afanas’ev, A.N., Voit, N.N., Bochkov, S.I., Uhanova, M.E., Ionova, I.S.: Razrabotka i issledovanie virtual’nyh rabochih mest v srede OPENSIM. Vestnik Ul’yanovskogo gosudarstvennogo tehnicheskogo universiteta 4(76), 43–47 (2016). (in Russia). https://elibrary.ru/item.asp?id=27645868 . Accessed 156 Mar 2018
2. Afanas’ev, A.N., Voit, N.N., Uhanova, M.E., Ionova, I.S., Epifanov, V.V.: Analiz konstruktorsko-tehnologicheskih potokov rabot v usloviyah krupnogo radiotehnicheskogo predpriyatiya. Radiotehnika 6, 49–58 (2017). (in Russia). http://www.radiotec.ru/article/19581 . Accessed 15 Mar 2017
3. Karpov, Y.G.: Model Shecking. Verifikaciya parallel’nyh i raspredelennyh programmnyh sistem. BHV-Peterburg (2010). (in Russia)
4. Goncharuk, Y.O.: Problemy sozdaniya i vnedreniya modeli biznes-processov predpriyatiya v forme WorkflowSystem. Resursoeffektivnym tehnologiyam-energiyu i entuziazm molodyh: sbornik nauchnyh trudov VI Vserossiiskoi konferencii, pp. 263–272 (2015). (in Russia)
5. Lecture Notes in Business Information Processing;A Awad,2008