@conference {inp:StenzelKatkalovBorekReif2014, title = {Formalizing Information Flow Control in a Model-Driven Approach}, booktitle = {Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014)}, year = {2014}, author = {K. Stenzel and K. Katkalov and M. Borek and W. Reif} }