@Inproceedings{EPTCS148.2, author = {Apvrille, Ludovic and Roudier, Yves}, year = {2014}, title = {Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems}, editor = {Kordy, Barbara and Mauw, Sjouke and Pieters, Wolter }, booktitle = {{\rm Proceedings First International Workshop on} Graphical Models for Security, {\rm Grenoble, France, April 12, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {148}, publisher = {Open Publishing Association}, pages = {15-30}, doi = {10.4204/EPTCS.148.2}, }