Three-Valued Abstraction for Continuous-Time Markov Chains. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf (CAV, 2007)

Abstraction for Stochastic Systems by Erlang's Method of Stages. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf (CONCUR, 2008)

Compositional Abstraction for Stochastic Systems. - Joost-Pieter Katoen; Daniel Klink; Martin R. Neuhäußer (FORMATS, 2009)

Three-Valued Abstraction for Stochastic Systems. - Daniel Klink (Verlag Dr. Hut, 2010)

Time-bounded reachability in tree-structured QBDs by abstraction. - Daniel Klink; Anne Remke; Boudewijn R. Haverkort; Joost-Pieter Katoen (Perform. Evaluation, 2011)

Three-valued abstraction for probabilistic systems. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf (J. Log. Algebraic Methods Program., 2012)