OK - Getting closer
DateTester.DateAsString=AS_STRING(DateTester.AnyDate) Returns 2017-06-09
DateTester.TimeAsString=CHARS_FROM_RIGHT(AS_STRING(CURRENT_TIMESTAMP),12) returns 15:15:24.086 just what I need (millisecond resolution)
DateTester.TheTimeStamp=AS_TIMESTAMP(AS_STRING(DateTester.AnyDate) + ' ' + CHARS_FROM_RIGHT(AS_STRING(CURRENT_TIMESTAMP),12),'dd/MM/yyyy HH:mm.ss') returns 06/09/2017 15:15:24
Which is ok providing Sorting by this attribute ascending will take into account the milliseconds.
Can't figure out how to define the timestamp format string to show the milliseconds