1. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9), 1270–1282 (1991)
2. Benveniste, A., et al.: Contracts for system design. Research Report RR-8147, INRIA, November 2012. https://hal.inria.fr/hal-00757488
3. Biondi, A., Natale, M.D.: Achieving predictable multicore execution of automotive applications using the LET paradigm. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 2018. https://doi.org/10.1109/RTAS.2018.00032
4. Lecture Notes in Computer Science;C Bradatsch,2016
5. Cataldo, A., Lee, E.A., Liu, X., Matsikoudis, E., Zheng, H.: A constructive fixed-point theorem and the feedback semantics of timed systems. In: Workshop on Discrete Event Systems (WODES) (2006)