Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li: Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware 2015: 199-202