@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",
}