A Declarative Language for the Specification of Real Time Systems