Modeling of, and Reasoning with Recurrent Events with Imprecise Durations