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