@techreport{Mun03NIA,
  author =       "C. Mu{\~{n}}oz",
  title =        "Rapid prototyping in {PVS}",
  institution =  "NIA-NASA Langley",
  year =         "2003",
  type =         "Report",
  number =       "NIA Report No. 2003-03, NASA/CR-2003-212418",
  address =      "National Institute of Aerospace, Hampton, VA",
  month =        "May",
}