@proceedings{RozierLFM2008,
  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",
  address = "NASA Langley Research Center, Hampton VA 23681-2199, USA",
  year = "2008",
}