Pedro R. D'Argenio Bertrand Jeannet Henrik Ejersbo Jensen Kim Guldstrand Larsen Reachability Analysis of Probabilistic Systems by Successive Refinements. 39-56 2001 conf/papm/2001 PAPM-PROBMIV http://link.springer.de/link/service/series/0558/bibs/2165/21650039.htm db/conf/papm/papm2001.html#DArgenioJJL01