Ilan Beer Shoham Ben-David Avner Landver On-the-Fly Model Checking of RCTL Formulas. 184-194 1998 conf/cav/1998 CAV db/conf/cav/cav98.html#BeerBL98 http://dx.doi.org/10.1007/BFb0028744