Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. - Wu, Xueguang; Wen, Yanjun; Chen, Liqian; Dong, Wei; Wang, Ji (2013)