Towards Model Checking Stochastic Process Algebra. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (IFM, 2000)

A Markov Chain Model Checker. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (TACAS, 2000)

ETMCC: Model Checking Performability Properties of Markov Chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (DSN, 2003)

A tool for model-checking Markov chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (Int. J. Softw. Tools Technol. Transf., 2003)

Automatische Verifikation stochastischer Systeme. - Joachim Meyer-Kayser (2004)