Doron Peled Model Checking and Testing Combined. 47-63 2003 conf/icalp/2003 ICALP http://dx.doi.org/10.1007/3-540-45061-0_5 db/conf/icalp/icalp2003.html#Peled03