Hüseyin Aysan Sasikumar Punnekkat Radu Dobrin VTV - A Voting Strategy for Real-Time Systems. 56-63 2008 PRDC http://dx.doi.org/10.1109/PRDC.2008.28 conf/prdc/2008 db/conf/prdc/prdc2008.html#AysanPD08