From sequential algebra to Kleene algebra interval modalities and duration calculus (Inst. für Informatik, 2005)