Avionics Design for reliability (AGARD, 1976)