@article{HoefnerMoeller2018,
  author    = {Peter H{\"o}fner and Bernhard M{\"o}ller},
  title     = {Fixing Zeno gaps},
  journal   = {Theoretical Computer Science},
  volume    = {412},
  number    = {28},
  pages     = {3303 -- 3322},
  doi       = {10.1016/j.tcs.2011.03.018},
  year      = {2018},
}