Anfonwch hwn fel neges destun: Partitioning in avionics architectures : requirements, mechanisms, and assurance / John Rushby.