Choudhury T. Distributed Time-Sensitive Systems 2025