Embedded Systems in Avionics and the SACRES Approach.

Philippe Baufreton, Xavier Mhaut, ric Rutten

Browse the full SAFECOMP paper archive.