@proceedings{MunozNFM2010,
  title = "{P}roceedings of the Second {NASA} Formal Methods Symposium ({NFM 2010})",
  editor = "C{\'e}sar Mu{\~{n}}oz",
  number = "NASA/CP-2010-216215",
  month = "April",
  address = "NASA Langley Research Center, Hampton VA 23681-2199, USA",
  year = "2010"
}