Static analysis of embedded software with priority scheduling and interrupts - Schwarz, Martin D. (Informatik, 2015)