P. A. Abdulla and J. Deneux, Designing Safe, Reliable Systems Using Scade, 2004.
DOI : 10.1007/11925040_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4162

S. Abramsky, Retracing some paths in process algebra, CONCUR '96 : Concurrency Theory, 7th International Conference, pp.1-17, 1996.
DOI : 10.1007/3-540-61604-7_44

S. Abramsky, S. Gay, and R. Nagarajan, Interaction Categories and the Foundations of Typed Concurrent Programming, Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design, pp.35-113, 1996.
DOI : 10.1007/978-3-642-61455-2_10

J. Abrial, Steam-boiler control specification problem In Formal Methods for Industrial Applications , Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, pp.500-509, 1995.

P. Aczel, Non-Well-Founded Sets. Csli Lecture Notes, 1988.

L. D. Alfaro, T. A. Henzinger, and M. Stoelinga, Timed Interfaces, Proceedings of the Second International Conference on Embedded Software, EMSOFT '02, pp.108-122, 2002.
DOI : 10.1007/3-540-45828-X_9

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

P. Amagbégnon, L. Besnard, and P. L. Guernic, Implementation of the data-flow synchronous language signal, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, PLDI '95, pp.163-173, 1995.

S. Anantharaman and G. Hains, A synchronous bisimulation based approach for information flow analysis, IN PROC. OF THE THIRD WORKSHOP AVOCS03, 2003.

D. Austry and G. Boudol, Alg??bre de processus et synchronisation, Theoretical Computer Science, vol.30, issue.1, 1983.
DOI : 10.1016/0304-3975(84)90067-7
URL : http://doi.org/10.1016/0304-3975(84)90067-7

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, Proceedings of the 21st International Conference on Computer Aided Verification, CAV '09, pp.614-619, 2009.
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550

G. Berry, The constructive semantics of pure esterel, 1999.

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

J. Bhasker and R. Chandra, Static Timing Analysis for Nanometer Designs, 2009.

A. Bohannon, B. C. Pierce, V. Sjöberg, S. Weirich, and S. Zdancewic, Reactive noninterference, Proceedings of the 16th ACM conference on Computer and communications security, CCS '09, pp.79-90, 2009.
DOI : 10.1145/1653662.1653673
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3298

M. M. Bonsangue, J. Rutten, and R. A. Silva, Coalgebraic Logic and Synthesis of Mealy Machines
DOI : 10.1007/978-3-540-78499-9_17

T. Bourke, Modelling and programming embedded controllers with timed automata and synchronous languages, 2009.

F. Boussinot, Reactive C: An extension of C to program reactive systems, Software: Practice and Experience, vol.21, issue.4, 1991.
DOI : 10.1002/spe.4380210406

F. Boussinot and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

M. Bozga, J. Fernandez, L. Ghirvu, S. Graf, J. Pierre-krimm et al., If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems, 1999.
DOI : 10.1007/3-540-48119-2_19
URL : https://hal.archives-ouvertes.fr/hal-00369430

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, Formal Methods for the Design of Real-Time Systems, pp.131-132, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

J. R. Buechi, On a Decision Method in Restricted Second Order Arithmetic, International Congress on Logic, pp.1-11, 1962.
DOI : 10.1007/978-1-4613-8928-6_23

P. Bulychev, T. Chatain, A. David, and K. G. Larsen, Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
DOI : 10.1007/BFb0023458

P. Caspi, N. Scaife, C. Sofronis, and S. Tripakis, Semantics-preserving multitask implementation of synchronous programs, ACM Transactions on Embedded Computing Systems, vol.7, issue.2, pp.1-1540, 2008.
DOI : 10.1145/1331331.1331339

D. Clark, S. Hunt, and P. Malacaria, A static analysis for quantifying information flow in a simple imperative language, Journal of Computer Security, vol.15, issue.3, pp.321-371, 2007.
DOI : 10.3233/JCS-2007-15302

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Inductive definitions, semantics and abstract interpretations, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.83-94, 1992.
DOI : 10.1145/143165.143184

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967
URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf

V. David, J. Delcoigne, E. Leret, A. Ourghanlian, P. Hilsenkopf et al., Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems, SAFECOMP, 1998.
DOI : 10.1007/3-540-49646-7_4

M. Erne, J. Koslowski, A. Melton, and G. Strecker, A Primer on Galois Connections, Annals of the New York Academy of Sciences, vol.12, issue.1 Papers on Gen, 1992.
DOI : 10.1016/0304-3975(78)90040-3

I. Garnier, C. Aussaguès, V. David, and G. Vidal-naquet, Formally ensuring time constraints in a development process, Proceedings of the VVPS workshop, 2011.

I. Garnier, C. Aussaguès, V. David, and G. Vidal-naquet, On the reaction time of some synchronous systems, Proceedings of the ICE workshop, 2011.
DOI : 10.4204/EPTCS.59.7

J. Girard, Y. Lafont, and P. Taylor, Proofs and Types (Cambridge Tracts in Theoretical Computer Science), 1989.

J. Goguen and J. Meseguer, Security Policies and Security Models, 1982 IEEE Symposium on Security and Privacy, pp.11-20, 1982.
DOI : 10.1109/SP.1982.10014

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

H. H. Hansen, D. Costa, and J. Rutten, Synthesis of Mealy Machines Using Derivatives, In : Proceedings of CMCS 2006, p.2006, 2006.
DOI : 10.1016/j.entcs.2006.06.003

W. H. Hesselink, Simulation refinement for concurrency verification, Science of Computer Programming, vol.76, issue.9, pp.739-755, 2011.
DOI : 10.1016/j.scico.2009.09.006
URL : http://doi.org/10.1016/j.entcs.2008.06.002

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

B. Jacobs and J. Rutten, A tutorial on (co)algebras and (co)induction, EATCS Bulletin, vol.62, pp.222-259, 1997.

A. Joyal, R. Street, and D. Verity, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, vol.1488, issue.03, pp.447-468, 1996.
DOI : 10.1007/BF02096491

G. Kahn, Natural semantics, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

D. K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager, Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), p.166, 2003.
DOI : 10.1109/REAL.2003.1253264

T. and L. Berre, Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles, Thèse de doctorat, 2010.

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

X. Leroy and H. Grall, Coinductive big-step operational semantics, 2008.
DOI : 10.1016/j.ic.2007.12.004
URL : https://hal.archives-ouvertes.fr/inria-00309010

C. Loiseaux and S. Graf, Property preserving abstractions for the verification of concurrent systems, Formal Methods in System Design, 1995.
DOI : 10.1007/BF01384313

L. Mandel and M. Pouzet, ReactiveML, a reactive extension to ML, Proceedings of 7th ACM SIGPLAN International conference on Principles and Practice of Declarative Programming (PPDP'05), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01489747

F. Maraninchi, The argos language : Graphical representation of automata and description of reactive systems, IEEE Workshop on Visual Languages, 1991.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

. Mathworks, http://www.mathworks.se/products/simulink, 2011.

R. Milner, A Calculus of Communicating Systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7

E. F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

X. Nicollin and J. Sifakis, An overview and synthesis on timed process algebras, 1991.

P. Pattersson, Modelling and verification of real-time systems using timed automata : Theory and practice, 1999.

G. D. Plotkin, A structural approach to operational semantics, J. Log. Algebr. Program, pp.60-6117, 2004.

T. H. Alur, Logics and models of real time: A survey, Lecture Notes in Computer Science, 1992.
DOI : 10.1007/BFb0031988

C. Ramchandani, Analysis of asynchronous concurrent systems by timed petri nets, 1974.

J. C. Reynolds, Idealized algol and its specification logic. ALGOL-like Languages, pp.125-156, 1997.
DOI : 10.1007/978-1-4612-4118-8_7

F. C. and O. Roux, From time petri nets to timed automata, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00139236

K. Schneider, A Verified Hardware Synthesis of Esterel Programs, Proceedings of the International IFIP Workshop on Distributed and Parallel Embedded Systems (DIPES, pp.205-214, 2000.
DOI : 10.1007/978-0-387-35409-5_20

G. Smith, Principles of Secure Information Flow Analysis, Malware Detection, pp.297-307, 2007.
DOI : 10.1007/978-0-387-44599-1_13

Y. Sorel, From modeling/simulation with scilab/scicos to optimized distributed embedded realtime implementation with syndex, Proceedings of the International Workshop On Scilab and Open Source Software Engineering, SOSSE'05, 2005.

M. Stannett, Simulation testing of automata. Formal Aspects of Computing, pp.31-41, 2006.

R. J. Van-glabbeek, The linear time-branching time spectrum (extended abstract), In CONCUR, pp.278-297, 1990.

N. Wirth, Program development by stepwise refinement, Communications of the ACM, vol.14, issue.4, pp.221-227, 1971.
DOI : 10.1145/362575.362577
URL : http://e-collection.library.ethz.ch/eserv/eth:3026/eth-3026-01.pdf

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009