@article{FKNT10b,
author={V. Forejt and M. Kwiatkowska and G. Norman and A. Trivedi},
title={Expected Reachability-Time Games},
year={2016},
publisher={Elsevier},
journal={Theoretical Computer Science},
note={To appear}
}