Jon M. Kerridge Testing and Sampling Parallel Systems. 149-162 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#Kerridge07