Combination of Static and Dynamic Analyses for the Certification of Avionics Software | IEEE Conference Publication | IEEE Xplore