Convert time value to date-string as per strftime. Format characters supported by most systems are:
a A b B c d H I j m M p S U w W x X y Y Z %%
Some systems support additional conversions.