"Static analysis of interrupt-driven programs synchronized via the priority ..."

Martin D. Schwarz et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics