@proceedings{Rozier08,
  title = "{P}roceedings of the Sixth {NASA} {L}angley Formal Methods Workshop ({LFM 2008})",
  editor = "Kristin Yvonne Rozier",
  number = "NASA/CP-2008-215309",
  month = "May",
  year = "2008",
  note = "http://ntrs.nasa.gov",
}