How to use Time in DCR Process Models