T. A. Henzinger, B. Horowitz, and C. Kirsch, Giotto: A time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, pp.84-99, 2003.

C. M. Kirsch and A. Sokolova, The logical execution time paradigm, Advances in RealTime Systems, pp.103-120, 2012.

S. Resmerita, K. Butts, P. Derler, A. Naderlinger, and W. Pree, Migration of legacy software towards correct-by-construction timing behavior, Monterey Workshop, pp.55-76, 2010.

V. Belau, H. Von-hasseln, and M. Simons, Coordinating AUTOSAR runnable entities using giotto-first concepts, 2012.

A. Hamann, D. Dasari, S. Kramer, M. Pressler, F. Wurst et al., 8th International Workshop on Analysis Tools and Methodologies for Embedded Realtime Systems, 2017.

S. Resmerita, A. Naderlinger, M. Huber, K. Butts, and W. Pree, Applying real-time programming to legacy embedded control software, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, pp.1-8, 2015.

J. Hennig, H. Von-hasseln, H. Mohammad, S. Resmerita, S. Lukesch et al., Towards parallelizing legacy embedded control software using the LET programming paradigm, Proc. of WiP Papers of the 22nd IEEE Real-Time and Embedded Technology and Apllications Symposium, ser. RTAS'16, 2016.

S. Resmerita, A. Naderlinger, and S. Lukesch, Efficient realization of logical execution times in legacy embedded software, Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.36-45, 2017.

J. Bergerand, P. Caspi, N. Halbwachs, D. Pilaud, and E. Pilaud, Outline of a real time data-flow language, Real Time Systems Symposium, 1985.

G. Berry and G. Gonthier, The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

M. Felleisen, On the expressive power of programming languages, Science of Computer Programming, vol.17, pp.35-75, 1991.

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Giotto: A timetriggered language for embedded programming, Embedded Software, pp.166-184, 2001.

P. Leguernic, T. Gautier, M. Leborgne, and C. Lemaire, Programming real time applications with signal, Proceedings of the IEEE, vol.79, pp.1321-1336, 1991.

, Dimensioning of LET Intervals