%0 Conference Proceedings %F baufreton97b %A Baufreton, Ph. %A Méhaut, X. %A Rutten, E. %T Embedded Systems in Avionics and the Sacres Approach %B Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom %I Springer %U ftp://ftp.irisa.fr/local/signal/publis/articles/SafeComp-97:gen_appli.ps.gz %8 September %D 1997