@inproceedings{kurdetal09,
  address = "Hamburg, Germany",
  author = "Zeshan Kurd and Tim Kelly and John McDermid and Radu Calinescu and Marta Kwiatkowska",
  booktitle = "Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP'09)",
  month = "September",
  note = "To appear",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Establishing a Framework for Dynamic Risk Management in Intelligent Aero-Engine Control",
  year = "2009",
}