Seyyedi, Razi (2023) Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior. PhD, Universität Oldenburg.