Dependable Multithreaded Processing Using Runtime Validation | IEEE Conference Publication | IEEE Xplore