On the completeness and decidability of duration calculus with iteration | Publicación