Martin Hiller, Arshad Jhumka, Neeraj Suri: An Approach for Analysing the Propagation of Data Errors in Software. DSN 2001: 161-172