Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. - Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Peter Lammich; Markus Müller-Olm (POPL, 2011)

Parametric Strategy Iteration. - Helmut Seidl; Thomas Martin Gawlitza; Martin D. Schwarz (SCSS, 2014)

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. - Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Kalmer Apinis (VMCAI, 2014)

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