Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. - Jörg Brauer; Markus Dahlweid; Tobias Pankrath; Jan Peleska 001 (SAFECOMP, 2015)