"spacecraft clock time"@en-us . .