@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},
}