Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle: An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM 2009: 485-496