@Article{DHK14,
author={F. Dannenberg and E. M. Hahn and M. Kwiatkowska},
title={Computing Cumulative Rewards using Fast Adaptive Uniformisation},
journal={ACM Transactions on Modeling and Computer Simulation, Special Issue on Computational Methods in Systems Biology},
year={2014},

volume={},
number={},
pages={},
publisher={},
month={},
note={},
key={}
}