Timed CREF and bug fixing