Frantz Iwu Ian Toyn Modelling and Analysing Fault Propagation in Safety-Related Systems. 167 2003 conf/sew/2003 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270740 db/conf/sew/sew2003.html#IwuT03