@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={XIII-XIV},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
key={}
}