David Delmas Eric Goubault Sylvie Putot Jean Souyris Karim Tekkal Franck Védrine Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. 53-69 2009 FMICS http://dx.doi.org/10.1007/978-3-642-04570-7_6 conf/fmics/2009 db/conf/fmics/fmics2009.html#DelmasGPSTV09