@Article{Kwi13,
author={Marta Kwiatkowska},
title={From Software Verification to `Everyware' Verification},
journal={Computer Science - Research and Development},
year={2013},

volume={28},
number={4},
pages={295-310},
publisher={Springer},
month={},
note={},
key={}
}