@article{FelgentreffPerscheidHirschfeld2016,
  author    = {Tim Felgentreff and Michael Perscheid and Robert Hirschfeld},
  title     = {Implementing record and refinement for debugging timing-dependent communication},
  journal   = {Science of computer programming},
  volume    = {134},
  pages     = {4 -- 18},
  doi       = {10.1016/j.scico.2015.11.006},
  year      = {2016},
}