Andreas Blass Yuri Gurevich Lev Nachmanson Margus Veanes Play to Test. 32-46 2005 conf/fates/2005 FATES http://dx.doi.org/10.1007/11759744_3 db/conf/fates/fates2005.html#BlassGNV05