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

C. André, Representation and analysis of reactive behaviors : a synchronous approach, Proc. CESA'96, 1996.

A. Benveniste, P. Leguernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

J. Bergerand and E. Pilaud, Saga : A software development environment for dependability in automatic control, IFAC-SAFECOMP'88, 1988.

J. L. Bergerand and E. Pilaud, SAGA ; a software development environment for dependability in automatic control, SAFECOMP'88, 1988.

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

G. Boudol, V. Roy, R. De-simone, and D. Vergamini, Process algebras and systems of communicating processes, Automatic Verification For Finite States Systems, 1990.

D. Brì-ere, D. Ribot, D. Pilaud, and J. L. Camus, Methods and specification tools for Airbus on-board systems, Avionics Conference and Exhibition, 1994.

J. A. Brzozowski and C. H. Seger, Asynchronous Circuits, 1995.
DOI : 10.1007/978-1-4612-4210-9

P. Caspi, A. Girault, and D. Pilaud, Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999.
DOI : 10.1109/32.798329
URL : https://hal.archives-ouvertes.fr/inria-00073196

P. Caspi, C. Mazuet, R. Salem, and D. Weber, Formal design of distributed control systems with Lustre, Proc. Safecomp'99, 1999.

P. Caspi and R. Salem, Threshold and Bounded-Delay Voting in Critical Control Systems, Formal Techniques in Real-Time and Fault- Tolerant Systems, pp.68-81, 1926.
DOI : 10.1007/3-540-45352-0_8

A. Chatha, Fieldbus : The foundation for field control systems, Control Engineering, pp.47-50, 1994.

M. J. Fisher, N. A. Lynch, and M. S. Patterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

A. Girault, Sur la répartition de programmes synchrones, Thèse de doctorat, 1994.

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

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

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

A. H. Hopkins, T. Smith, and J. H. Lala, FTMP :a highly reliable faulttolerant multiprocessor for aircraft, Proceedings of the IEEE, pp.1221-1239, 1978.

G. Kahn, The semantics of a simple language for parallel programming, IFIP 74, 1974.

K. J. Aström and B. Wittenmark, Computer Controlled Systems, 1984.

H. Kopetz, A. Damm, . Ch, M. Koza, W. Mulazzani et al., Distributed fault-tolerant real-time systems: the Mars approach, IEEE Micro, vol.9, issue.1, pp.25-40, 1989.
DOI : 10.1109/40.16792

G. Legoff, Using synchronous languages for interlocking, First International Conference on Computer Application in Transportation Systems, 1996.

F. Maraninchi, Operational and compositional semantics of synchronous automaton compositions, Proc. of CONCUR'92, 1992.
DOI : 10.1007/BFb0084815

S. Mauw, The formalization of Message Sequence Charts, Computer Networks and ISDN Systems, vol.28, issue.12, pp.1643-1657, 1996.
DOI : 10.1016/0169-7552(95)00123-9

M. Pease, R. E. Shostak, and L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM, vol.27, issue.2, pp.228-237, 1980.
DOI : 10.1145/322186.322188

P. Raymond, Recognizing regular expressions by means of dataflow networks, 23rd International Colloquium on Automata, Languages, and ProgrammingICALP'96) Paderborn, Germany. LNCS 1099, 1996.
DOI : 10.1007/3-540-61440-0_140
URL : https://hal.archives-ouvertes.fr/hal-00384443

J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Lewitt et al., SIFT, Proceedings of the December 5-7, 1972, fall joint computer conference, part I on, AFIPS '72 (Fall, part I), pp.1240-1255, 1978.
DOI : 10.1145/1479992.1480025

M. Yeddes, ContributionàContribution`Contributionà une approche robuste pour la distribution de systèmes synchrones, Thèse de doctorat, 2000.