On smooth time functions