Static Race Detection for RTOS Applications. - Rishi Tulsyan; Rekha R. Pai; Deepak D'Souza (FSTTCS, 2020)