Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS. - Gerion Entrup; Andreas Kässens; Björn Fiedler; Daniel Lohmann (Real Time Syst., 2024)