@article{ErtelGlueckMoeller2018,
  author    = {Jessica Ertel and Roland Gl{\"u}ck and Bernhard M{\"o}ller},
  title     = {Algebraic derivation of until rules and application to timer verification},
  journal   = {Lecture Notes in Computer Science},
  volume    = {11194},
  pages     = {244 -- 262},
  doi       = {10.1007/978-3-030-02149-8_15},
  year      = {2018},
}