@inproceedings{Simpson_et_al_1998a,
  title = "Safety through Security",
  author = "A. C. Simpson and J. C. P. Woodcock and J. W. Davies",
  year = "1998",
  booktitle = "Proceedings of the Ninth International Workshop on Software Specification and Design",
  pages = "18--24",
  publisher = "{IEEE} Computer Society Press",
}