Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; S. La Torre (SAFECOMP, 1995)