Tschaikowski, Max and Tribastone, Mirco Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science, 517. 1 - 33. ISSN 0304-3975 (2014)