Principles of avionics computer systems (AGARD, 1974)