Title: The design of robust protocols for distributed real-time systems