@techreport{4026,
  title = "On Software Verification for Sensor Nodes",
  author = "Doina Bucur and Marta Kwiatkowska",
  year = "2010",
  institution = "OUCL",
  month = "December",
  number = "RR-10-25",
  pages = "17",
}