Partitioning and interface synthesis in hierarchical multiprocessor real-time systems