Static Data Race Detection for Interrupt-Driven Embedded Software | IEEE Conference Publication | IEEE Xplore