G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun, "An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs", In Proceedings of the 1st International Conference on Convergence and its Application (ICCA 2013), Seoul, Korea, December 5-7, 2013.