Algebraic Derivation of Until Rules and Application to Timer Verification. - Jessica Ertel; Roland Glück; Bernhard Möller (RAMiCS, 2018)