Dennis Brylow Niels Damgaard Jens Palsberg Static Checking of Interrupt-Driven Software. 47-56 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#BrylowDP01