A. Legay, S. Sedwards, and L.-M. Traonouez, “Estimating Rewards & Rare Events in Nondeterministic Systems”, ECEASST, vol. 72, Nov. 2015.