PUBLICATION: Towards the model-driven engineering of secure yet safe embedded systems
© TELECOM ParisTech. Personal use of this material is permitted. The definitive version of this paper was published in GRAMSEC 2014, 1st International Workshop on Graphical Models for Security, Co-located with ETAPS 2014, April 12, 2014, Grenoble, France and is available at :