Marc Daumas David Lester Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors http://arxiv.org/abs/cs/0610110 2006 CoRR abs/cs/0610110 db/journals/corr/corr0610.html#abs-cs-0610110 informal publication