Formal specification of N-modular redundancy - Mancini, Luigi V.; Koutny, Maciej (Computing Laboratory <Newcastle-upon-Tyne>: Technical report series, 1986)