TickTalk: Timing API for Federated Cyber-Physical Systems