Krishnendu Chatterjee Luca de Alfaro Marco Faella Axel Legay Qualitative Logics and Equivalences for Probabilistic Systems http://arxiv.org/abs/0903.2445 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0903-2445 2