Benoît Delahaye Joost-Pieter Katoen Kim G. Larsen Axel Legay Mikkel L. Pedersen Falak Sher Andrzej Wasowski Abstract Probabilistic Automata. 324-339 2011 VMCAI http://dx.doi.org/10.1007/978-3-642-18275-4_23 conf/vmcai/2011 db/conf/vmcai/vmcai2011.html#DelahayeKLLPSW11