Luping Chen John H. R. May Gordon Hughes Assessment of the Benefit of Redundant Systems. 151-162 2002 conf/safecomp/2002 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2434/24340151.htm db/conf/safecomp/safecomp2002.html#ChenMH02