Håkan L. S. Younes Error Control for Probabilistic Model Checking. 142-156 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_10 db/conf/vmcai/vmcai2006.html#Younes06