Enhancing Real-Time Operating System Security Analysis via Slice-based Fuzzing