Volochiy, Bohdan     Automation of building the safety models of complex technical systems for critical application [Текст] / Bohdan Volochiy, Bohdan Mandziy, Leonid Ozirkovskyy // ICT in education, research and industrial applications: integration, harmonization and knowledge transfer : proc. of the 11th Intern. conf., 14-16 May, 2015, Lviv / Lviv Polytechnic Nat. Univ. — Lviv, 2015. — P. 550-565.