Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee. Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2869-2880, 2018. [doi]
Abstract is missing.