@article{DerrickDohertyDongoletal.2017,
  author    = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
  title     = {Mechanized proofs of opacity: a comparison of two techniques},
  journal   = {Formal Aspects of Computing},
  volume    = {30},
  number    = {5},
  pages     = {597 -- 625},
  doi       = {10.1007/s00165-017-0433-3},
  year      = {2017},
}