Philippe Baufreton, Xavier Méhaut, Éric Rutten. Embedded Systems in Avionics and the SACRES Approach. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997. pages 311-320, Springer, 1997. [doi]
Abstract is missing.