[IEEE 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Colorado Springs, CO, USA (2014.10.5-2014.10.9)] 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Towards a lean tool qualification process: Digital avionics systems conference