@techreport{LMBDM00ICASE,
  author =       "G. L{\"u}ttgen and C. Mu{\~{n}}oz and R. Butler and
                  B. Di Vito and P. Miner",
  title =        "Towards a Customizable {PVS}",
  institution =  "ICASE-NASA Langley",
  year =         "2000",
  number =       "ICASE No. 2000-4, NASA/CR-2000-209851",
  address =      "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
  month =        "January",
}