Jian Fu, Qiang Yang, Raphael Poss, Chris R. Jesshope, Chunyuan Zhang: On-demand thread-level fault detection in a concurrent programming environment. ICSAMOS 2013: 255-262