Title: Analysis and synthesis of communication-intensive heterogeneous real-time systems