@article{LMO15,
  author        = {Gabriele Lenzini and Sjouke Mauw and Samir Ouchani},
  title         = {Security analysis of socio-technical physical systems},
  journal       = {Computers and Electrical Engineering},
  volume        = {47},
  pages         = {258--274},
  year          = {2015},
  publisher     = {Elsevier}
}