@TechReport{ tr:BauereissGreinerHerdaKirstenLiMantelMohrPernerSchneiderTasch2017, author = {Thomas Bauerei\"s and Simon Greiner and Mihai Herda and Michael Kirsten and Ximeng Li and Heiko Mantel and Martin Mohr and Matthias Perner and David Schneider and Markus Tasch}, title = {RIFL 1.1: A Common Specification Language for Information-Flow Requirements}, institution = {TU Darmstadt}, year = 2017, number = {TUD-CS-2017-0225}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/RIFL1.1-TechnicalReport.pdf} }