@TechReport{ ereth.mantel.ea:towards, author = {Sarah Ereth and Heiko Mantel and Matthias Perner}, title = {Towards a Common Specification Language for Information-Flow Security in RS3 and Beyond: RIFL 1.0 - The Language}, institution = {TU Darmstadt}, year = 2014, number = {TUD-CS-2014-0115}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/RIFL1.0-TechnicalReport-Revision1.pdf} }