@inproceedings{TT-HSI-2014,
  author = {T. {Tanzi} and R. {Textoris} and L. {Apvrille}},
  title = {Safety properties modelling},
  booktitle = {7th IEEE International Conference on Human System Interaction (HSI 2014)},
  address = {Lisbon, Portugal},
  year = 2014,
  month = jun,
  pages = {198--202},
  keywords = {ormal Methods, Modelling, Safety Properties},
  annote = {category=inproceedings language=en audience=2 state=published dept=comelec group=labsoc id=14710}
}