Timed constraint programming: a declarative approach to usage control