Michael Huth Marta Z. Kwiatkowska Quantitative Analysis and Model Checking. 111-122 http://www.computer.org/proceedings/lics/7925/79250111abs.htm 1997 LICS db/conf/lics/lics97.html#HuthK97