@inproceedings{Simpson*1998:Safety,
  author = "A. Simpson and J. Woodcock and J. Davies",
  booktitle = "Proceedings of the Ninth International Workshop on Software Specification and Design",
  publisher = "IEEE Press",
  title = "Safety through Security",
  year = "1998",
}