@inproceedings{Schwarz14flags,
  author = {Martin D. Schwarz and Helmut Seidl and Vesal Vojdani and Kalmer Apinis},
  title = {Precise {A}nalysis of {V}alue-{D}ependent {S}ynchronization in {P}riority {S}cheduled {P}rograms},
  booktitle = {Verification, Model Checking, and Abstract Interpretation},
  year = 2014,
  pages = {21-38},
  series = {Lecture Notes in Computer Science},
  volume = {8318},
  publisher = {Springer Berlin Heidelberg},
  doi = {10.1007/978-3-642-54013-4_2},
}