Methodology for control of life cycle costs for avionics systems (AGARD lecture series, 1979)