@inproceedings{BK10a,
  author    = {D. Bucur and M. Kwiatkowska},
  title     = {Software verification for {TinyOS}},
  booktitle = {IPSN},
  year      = {2010},
  pages     = {400-401},
  ee        = {http://doi.acm.org/10.1145/1791212.1791274},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}