@inproceedings{LMO16,
  author        = {Gabriele Lenzini and Sjouke Mauw and Samir Ouchani},
  title         = {Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems},
  booktitle     = {Proc.\ 12th Workshop on Security and Trust Management (STM'16)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  address       = {Heraklion, Greece},
  month         = {September 26-27},
  year          = {2016},
  editor        = {G.\ Barthe and E.\ Markatos and P.\ Samarati},
  volume        = {9871},
  pages         = {170--178}
}