Guelevand Hung. On the Completeness and Decidability of Duration Calculus with Iteration. no. 1-3, Elsevier BV, 2005, doi:10.1016/j.tcs.2005.01.017.