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