@inproceedings{Schwarz11PCP, author = {Martin D Schwarz and Helmut Seidl and Vesal Vojdani and Peter Lammich and Markus M\"uller-Olm}, title = {Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol}, booktitle = {POPL'11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages}, year = 2011, pages = {93–104}, publisher = {ACM}, doi = {10.1145/1926385.1926398}, address = {Austin, Texas, USA}, }