Reliability and Safety Analysis of Hierarchical Voting Schemes. - Henryk Krawczyk; Saleh Al-Karaawy (SAFECOMP, 1993)