"Three-Valued Abstraction for Continuous-Time Markov Chains."

Joost-Pieter Katoen et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics