CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software | IEEE Conference Publication | IEEE Xplore