C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, OTAWA: an Open Toolbox for Adaptive WCET Analysis (regular paper), IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)

G. Berry and G. Gonthier, The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, vol.19
URL : https://hal.archives-ouvertes.fr/inria-00075711

M. Broy, B. Jonsson, J. Katoen, M. Leucker, and A. Pretschner, Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science), 2005.

H. Cassé, H. Ozaktas, and C. Rochange, A Framework to Quantify the Overestimations of Static WCET Analysis, 15th Int. Workshop on Worst-Case Execution Time Analysis (WCET 2015), vol.47, 2015.

J. Deverge and I. Puaut, Safe measurement-based WCET estimation, Int. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005.

C. Ferdinand and R. Heckmann, ait: Worst-case execution time prediction by static program analysis, Building the Information Society, 2004.

J. Garrido, D. Brosnan, J. Antonio-de-la-puente, A. Alonso, and J. Zamorano, Analysis of WCET in an experimental satellite software development, 12th Int. Workshop on Worst-Case Execution Time, 2012.

F. Ghenassia, Transaction-level modeling with SystemC, vol.2, 2005.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, vol.4, 1991.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous observers and the verification of reactive systems, Algebraic Methodology and Software Technology, vol.4, 1994.

W. Sun, A framework for simulate synchronous reactive programs and measure execution times to aid wcet analysis, vol.2, 2016.

E. , Y. Hu, A. J. Wellings, and G. Bernat, Deriving java virtual machine timing models for portable worst-case execution time analysis, 2003.

E. Jahier, S. Djoko-djoko, C. Maiza, and E. Lafont, Environment-model based testing of control systems: Case studies, TACAS, vol.4, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01465756

E. Jahier, N. Halbwachs, and P. Raymond, Engineering functional requirements of reactive systems using synchronous languages, In Int. Symp. on Industrial Embedded Systems, vol.4, issue.3, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00933179

E. Jahier, P. R. , and P. Baufreton, Case studies with lurette v2. Software Tools for Technology Transfer, vol.8
URL : https://hal.archives-ouvertes.fr/hal-00389838

B. Jeannet and F. Gaucher, Debugging embedded systems requirements with Stimulus: an automotive case-study, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), vol.5, p.7, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292286

P. Leguernic, A. Benveniste, P. Bournai, and T. Gautier, Signal, a data flow oriented language for signal processing, IEEE-ASSP, vol.4, issue.1, 1986.

X. Li, L. Yun, T. Mitra, and A. Roychoudhury, Chronos: A timing analyzer for embedded software, Sci. Comput. Program, issue.6, 2007.

Y. S. Li and S. Malik, Performance analysis of embedded software using implicit path enumeration, Workshop on Languages, Compilers, and Tools for Real-Time Systems, vol.2, pp.88-98, 1995.

P. Puschner and R. , Testing the results of static worst-case execution-time analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998.

C. Ratel, N. Halbwachs, and P. Raymond, Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, ACM-SIGSOFT'91 Conference on Software for Critical Systems, vol.4, 1991.

P. Raymond, C. Maiza, C. Parent-vigouroux, and F. Carrier, Timing analysis enhancement for synchronous program, Proceedings of the 21st Int. Conference on Real-Time Networks and Systems, p.10, 2013.

P. Raymond, Y. Roux, and E. Jahier, Lutin: A language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008.

P. Raymond, Synchronous program verification with lustre/lesar. In Modeling and Verification of Real-Time Systems, 2008.

J. Rushby, The versatile synchronous observer, Specification, Algebra, and Software, vol.4, 2014.

I. Wenzel, R. Kirner, B. Rieder, and P. Puschner, Measurement-based timing analysis, Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2008.

J. Zander, I. Schieferdecker, and P. J. Mosterman, A Taxonomy of Model-based Testing for Embedded Systems from Multiple Industry Domains, pp.3-22, 2011.