Dennis Brylow, Jens Palsberg. Deadline analysis of interrupt-driven software. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 198-207, ACM, 2003. [doi]
Abstract is missing.