Efficient Allocation And Enforcement Of Interfaces In Compositional Real-Time Systems