@phdthesis{907,
  author = {James Davis},
  title = {Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems},
  year = {2000},
  journal = {PhD Dissertation},
  month = {May},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}