Static Checking of Interrupt-driven Software (2001)

by D Brylow, N Damgaard, J Palsberg
Venue:In Proc. of Intl. Conf. on Software Engineering