Interval-based Modelling with Constraints Propagation