@conference{EURECOM+6012,
  author = {Li, Letitia W and  Lugou, Florian and  Apvrille, Ludovic},
  title = {Security modeling for embedded system design},
  booktitle = {GRAMSEC 2017, 4th International Workshop on Graphical Models for Security, co-located with CSF 2017, 21 August 2017, Santa Barbara, CA, United States / Also published in LNCS, Vol. 10744},
  year = {2017},
  editor = {Springer},
  address = {Santa Barbara},
  note = {©  Springer. Personal use of this material is permitted. The definitive version of this paper was published in GRAMSEC 2017, 4th International Workshop on Graphical Models for Security, co-located with CSF 2017, 21 August 2017, Santa Barbara, CA, United States / Also published in LNCS, Vol. 10744 and is available at : https://doi.org/10.1007/978-3-319-74860-3\_7},
}