@misc{EURECOM+6018,
  author = {Apvrille, Ludovic and  Roudier, Yves and  Tanzi, Tullio J and  Guarnieri, Franck},
  title = {SysML-Sec: Capturing and formally proving safety and security properties},
  howpublished = {Colloque de l\&\#039;Institut Mines-Télécom, \"Numérique : Grande échelle et complexité\", March 2014, Paris, France},
  year = {2014},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Colloque de l\&\#039;Institut Mines-Télécom, \"Numérique : Grande échelle et complexité\", March 2014, Paris, France and is available at :},
}