@article{SchellhornWedelTravkinetal.2018,
  author    = {Gerhard Schellhorn and Monika Wedel and Oleg Travkin and J{\"u}rgen K{\"o}nig and Heike Wehrheim},
  title     = {FastLane is opaque - a case study in mechanized proofs of opacity},
  journal   = {Lecture Notes in Computer Science},
  volume    = {10886},
  pages     = {105 -- 120},
  doi       = {10.1007/978-3-319-92970-5_7},
  year      = {2018},
}