Towards the model-driven engineering of secure yet safe embedded systems