Analytical Modelling of the Reliability of a Fault-Tolerant Computer-Copra