Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations | IEEE Conference Publication | IEEE Xplore