Paul Caspi Rym Salem Threshold and Bounded-Delay Voting in Critical Control Systems. 70-81 http://link.springer.de/link/service/series/0558/bibs/1926/19260070.htm 2000 conf/ftrtft/2000 FTRTFT db/conf/ftrtft/ftrtft2000.html#CaspiS00