@Article{BK11,
author={D. Bucur and M. Kwiatkowska},
title={On Software verification for Sensor Nodes},
journal={Journal of Software and Systems},
year={2011},

volume={84},
number={10},
pages={1693--1707},
publisher={Elsevier},
month={},
note={},
key={}
}