"On-the-Fly Model Checking of RCTL Formulas."

Ilan Beer, Shoham Ben-David, Avner Landver (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics