Volochiy, Bohdan     Automated development of Markovian chains for fault-tolerant computer-based systems with version-structure redundancy [Текст] / Bohdan Volochiy, Oleksandr Mulak, Vyacheslav Kharchenko // 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. 462-475.