Biondi, et al.. Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-time Systems. ACM Press, 2016, doi:10.1145/2997465.2997489.