Kaiyu Chen, Sharad Malik: Dependable Multithreaded Processing Using Runtime Validation. PRDC 2006: 275-286