@InProceedings{Kwi12,
author={M. Kwiatkowska},
title={Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices},
booktitle={Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12)},
year={2012},

editor={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear.},
key={}
}