Benoît Delahaye Kim G. Larsen Axel Legay Mikkel L. Pedersen Andrzej Wasowski APAC: A Tool for Reasoning about Abstract Probabilistic Automata. 151-152 2011 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2011.28 conf/qest/2011 db/conf/qest/qest2011.html#DelahayeLLPW11