Modelling and Analysis of Real Time Systems with Logic Programming and Constraints, nr. 130, 2010