@article {inp:StenzelKatkalovBorekReif2013b, title = {Model-Driven Development of Information Flow-Secure Systems with IFlow}, journal = {ASE Science Journal}, volume = {2}, number = {2}, year = {2013}, author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif} }