Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности : монография