Zuverlässigkeitstheoretische Bewertung von Coderedundanz in fehlertolerierenden Rechnersystemen.