Improving performance and reliability assessments of avionics systems: An integrated approach to early design validation | IEEE Conference Publication | IEEE Xplore