Razi Seyyedi. Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior. PhD thesis, University of Oldenburg, Germany, 2023. [doi]
Abstract is missing.