Ralf Wimmer Bettina Braitling Bernd Becker Ernst Moritz Hahn Pepijn Crouzen Holger Hermanns Abhishek Dhama Oliver E. Theel Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. 27-36 2010 QEST http://dx.doi.org/10.1109/QEST.2010.12 conf/qest/2010 db/conf/qest/qest2010.html#WimmerBBHCHDT10