MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation. - Z. Abazi; Pascale Thévenod-Fosse (Fehlertolerierende Rechensysteme, 1987)