On the completeness and decidability of duration calculus with iteration
scientific article; zbMATH DE number 2184057