Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-Time Systems