J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of EMSOFT 2005, 5th ACM International Conference On Embedded Software, pp.173-182, 2005.

F. Dormoy, SCADE 6 -A model based solution for safety critical software development, 4th European Congress ERTS Embedded Real Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/insu-02270108

, Esterel Technologies. SCADE language tutorial, 2007.

C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt et al., Reliable and precise WCET determination for a real-life processor, Proceedings of EMSOFT 2001, vol.2211, pp.469-485, 2001.

C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein et al., New developments in WCET analysis, Program Analysis and Compilation, vol.4444, pp.12-52, 2007.

S. Yau-tsun, S. Li, and . Malik, Performance Analysis of Embedded Software Using Implicit Path Enumeration, Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995.

J. Schneider and C. Ferdinand, Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, vol.34, pp.35-44, 1999.

H. Theiling, Extracting Safe and Precise Control Flow from Binaries, Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, 2000.

H. Theiling and C. Ferdinand, Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, pp.144-153, 1998.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., Staschulat, and Per Stenström. The worst-case execution time problem -overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.5, pp.1-47, 2007.