Towards implementing uncertainty propagation in probabilistic floating-point computation error bounding. - Rivan Zhang; Arvind Rajan; Ye Chow Kuang; Melanie Po-Leen Ooi; Serge N. Demidenko (I2MTC, 2018)