@inproceedings{BERRO-GRAMSEC-19,
  author = {S. {Berro} and L. {Apvrille} and G. {Duc}},
  title = {Optimizing System Architecture Cost and Security Countermeasures},
  booktitle = { Sixth International Workshop on Graphical Models for Security},
  address = { Hoboken, NJ, USA},
  year = 2019,
  month = jun,
  keywords = {SysML; security; models; verifications},
}