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