@MastersThesis{ lortz:robustness, author = {Steffen Lortz}, title = {Robustness of Information Flow Security Under Refinement of Synchronization Primitives}, school = {TU Darmstadt}, type = {Master Thesis}, year = 2012 }