Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury. A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010. pages 143-152, IEEE Computer Society, 2010. [doi]
Abstract is missing.