Linh T. X. Phan, Insup Lee, Oleg Sokolsky. Compositional analysis of real-time embedded systems. In Rajesh K. Gupta, Vincent John Mooney, editors, Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 237-238, ACM, 2011. [doi]
Abstract is missing.