Comparison of RTL fault models for the robustness evaluation of aerospace FPGA devices. - Romain Champon; Vincent Beroulle; Athanasios Papadimitriou; David Hély; Gilles Genévrier; Frédéric Cézilly (IOLTS, 2016)