Fulvio Tonon A Search Algorithm for Calculating Validated Reliability Bounds. 195-209 2007 13 Reliable Computing 2 http://dx.doi.org/10.1007/s11155-006-9025-2 db/journals/rc/rc13.html#Tonon07