Роман Царёв. Оценка и повышение надежности программно-информационных технологий. М.:Сибирский федеральный университет, 2015