Avionics Systems Design: Gratuitous Technology