\input zb-basic \input zb-ioport \iteman{io-port 70116914} \itemau{Nikolov, Dimitar; Ingelsson, Urban; Singh, Virendra; Larsson, Erik} \itemti{Estimating error-probability and its application for optimizing roll-back recovery with checkpointing} \itemso{DELTA, 281-285 (2010).} \itemcc{} \itemut{} \itemli{http://doi.ieeecomputersociety.org/10.1109/DELTA.2010.25} \end