Entwurf eines votierenden Spezialprozessors für fehlertolerante Rechnersysteme.