Pascal Traverse Isabelle Lacaze Jean Souyris Airbus fly-by-wire - A total approach to dependability. 191-212 2004 conf/ifip/2004bis IFIP Congress Topical Sessions db/conf/ifip/ifip2004bis.html#TraverseLS04