Modelling and Analysing Fault Propagation in Safety-Related Systems. - Frantz Iwu; Ian Toyn (SEW, 2003)

On the Formal Development of Safety-Critical Software. - Andy Galloway; Frantz Iwu; John A. McDermid; Ian Toyn (VSTTE, 2005)

Integrating safety and formal analyses using UML and PFS. - Frantz Iwu; Andy Galloway; John A. McDermid; Ian Toyn (Reliab. Eng. Syst. Saf., 2007)

Scalable Fualt Detection for FPGAs. - Frantz Iwu (HASE, 2010)