1. Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: International Symposium on Circuits and Systems (ISCAS), Geneva, Switzerland, March 2000, vol. 4, pp. 101–104 (2000)
2. Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: A hybrid method for analyzing embedded real-time systems. In: 8th ACM & IEEE International conference on Embedded software (EMSOFT). ACM, New York (2009)
3. Altisen, K., Moy, M.: Connecting real-time calculus to the synchronous programming language lustre. Technical Report TR-2009-14, Verimag Research Report (2009)
4. Phan, L.T.X., Chakraborty, S., Thiagarajan, P.S., Thiele, L.: Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS), Washington, DC, USA, pp. 343–352. IEEE Computer Society, Los Alamitos (2007)
5. Mokrushin, L.: Compositional analysis of timed systems by abstraction. PowerPoint Slides (2007)