@techreport{LeuLRos:03,
  month = {January},
  address = {NASA Ames Research Center, Moffet Field, California, USA},
  title = {Certifying Kalman Filters},
  author = {Leu\c stean, Lauren\c tiu and Ro\c su, Grigore},
  year = 2003,
  number = {TR.03.02},
  institution = {Research Institute for Advanced Computer Science (RIACS), NASA
                 Ames Research Center},
}