The verification of distributed redundant systems - Mancini, Luigi V.; Pappalardo, Giuseppe (1988)