@inproceedings{PLC2018,
  author    = {Jessica Ertel and
               Roland Gl{\"{u}}ck and
               Bernhard M{\"{o}}ller},
  title     = {Algebraic Derivation of Until Rules and Application to Timer Verification},
  booktitle = {Relational and Algebraic Methods in Computer Science - 17th International
               Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
               November 1, 2018, Proceedings},
  pages     = {244--262},
  year      = {2018},
  editor    = {Jules Desharnais and
               Walter Guttmann and
               Stef Joosten},
  series    = {Lecture Notes in Computer Science},
  volume    = {11194},
  publisher = {Springer}
}