@conference {18233, title = {Modeling Requirements For Security-enhanced Design of Embedded Systems}, booktitle = {ICETE SECRYPT}, year = {2014}, month = {08/2014}, publisher = {ICETE}, organization = {ICETE}, address = {Vienna, Austria}, author = {Ferrante, Alberto and Kaitovi{\'c}, Igor and Milosevic, Jelena} }