J. Abrial, Modeling in Event-B -System and Software Engineering, 2010.

B. Jeannet and F. Gaucher, Debugging real-time systems requirements: simulate the " what " before the " how, 2015.

G. Hamon and M. Pouzet, Modular resetting of synchronous dataflow programs. Principles and Practice of Declarative Programming, 2000.

J. Colaço and M. Pouzet, Type-based Initialization Analysis of a Synchronous Data-flow Language, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, 2004.
DOI : 10.1016/S1571-0661(05)80441-4

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086261

D. Biernacki, J. Colaço, G. Hamon, and M. Pouzet, Clock-directed modular code generation for synchronous data-flow programs, Languages, Compilers , and Tools for Embedded Systems (LCTES'2008), 2008.

P. Raymond, Y. Roux, and E. Jahier, Lutin: A Language for Specifying and Executing Reactive Scenarios, EURASIP Journal on Embedded Systems, vol.9, issue.1, 2008.
DOI : 10.1007/s10009-006-0023-9

E. Jahier, N. Halbwachs, and P. Raymond, Engineering functional requirements of reactive systems using synchronous languages, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), 2013.
DOI : 10.1109/SIES.2013.6601486
URL : https://hal.archives-ouvertes.fr/hal-00933179

E. Jahier, S. Djoko-djoko, C. Maiza, and E. Lafont, Environment model-based testing of control systems : cases studies. Tols and Algorithms for the Construction and Analysis of Systems, TACAS), 2014.

Z. Somogyi, A system of precise modes for logic programs, Int. Conf. on Logic Programming (ICLP'87), 19878.

J. Goubault, Inférence d'unités physiques en ML, Journées Francophones des Langages Applicatifs, pp.3-20, 1994.

A. Kennedy, Dimension types, European Symposium on Programming (ESOP'94), 1994.
DOI : 10.1007/3-540-57880-3_23