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