Takeshi Yoshimura, Kenji Kono, "A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers", IPSJ Trans. on Advanced Computing Systems, Vol. 9, No. 1, March, 2016.