Embedded Linux in a partitioned architecture for aerospace applications. - João Craveiro; José Rufino; Carlos Almeida 002; Rui Covelo; Pedro Venda (AICCSA, 2009)