A Programming Model for Time-Synchronized Distributed Real-Time Systems