@article{Hfner_Mller_11,
    author           = {H\"ofner, Peter and M\"oller, Bernhard},
    doi              = {10.1016/j.tcs.2011.03.018},
    journal          = {Theoretical Computer Science},
    keywords         = {fixpoints; iteration; semiring; kleene algebra; omega algebra; hybrid systems},
    month            = jun,
    number           = {28},
    pages            = {3303--3322},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4726.pdf},
    title            = {Fixing Zeno Gaps},
    volume           = {412},
    year             = {2011}
  }