@article{DerrickDongolSchellhornetal.2015,
  author    = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
  title     = {Verifying opacity of a transactional Mutex lock},
  journal   = {Lecture Notes in Computer Science},
  volume    = {9109},
  pages     = {161 -- 177},
  doi       = {10.1007/978-3-319-19249-9_11},
  year      = {2015},
}