@article{Kwi13,
  author    = {M. Kwiatkowska},
  title     = {From Software Verification to 'Everyware' Verification},
  journal   = {Computer Science - Research and Development},
  volume    = {28},
  number    = {4},
  year      = {2013},
  pages     = {295--310},
  publisher = {Springer},
  note        = {},
}