@inproceedings{KKMCK09,
  author      = "Z. Kurd and T. Kelly and J. McDermid and R. Calinescu and M. Kwiatkowska",
  title       = "Establishing a Framework for Dynamic Risk Management in `Intelligent' Aero-Engine Control",
  booktitle   = "Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP'09)",
  year        = "2009",
  month       = "September",
  publisher   = "Springer",
  series      = "Lecture Notes in Computer Science",
  volume      = "5775",
  pages       = "326--341"
}