Static analysis for detecting high-level races in RTOS kernels. - Rekha R. Pai; Abhishek Singh; Deepak D'Souza; Meenakshi D'Souza; Prathibha Prakash (Formal Methods Syst. Des., 2021)