Title: Analysis and synthesis of heterogeneous real-time systems