Legay, A., Sedwards, S. and Traonouez, L.-M. (2015) “Estimating Rewards & Rare Events in Nondeterministic Systems”, Electronic Communications of the EASST, 72. doi: 10.14279/tuj.eceasst.72.1023.