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