Z. Manna and A. Pnueli, The temporal logic of reactif and concurrent systems: Specification, 1992.

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

J. R. Pimentel, Implications of emerging technologies on factory communication systems, Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97, pp.3-7, 1997.
DOI : 10.1109/WFCS.1997.634279

G. Diaz, Z. Mammeri, and J. P. Thomesse, Distributed system architectures for multimedia applications: An analysis of the approaches, World Multiconference on Systemics, Cybernetics and Informatics ? SCI' 97, pp.13-20, 1997.

D. Ferrari, Multimedia network protocols: where are we?, Multimedia Systems, vol.4, issue.6, pp.229-304, 1996.
DOI : 10.1007/s005300050031

J. P. Thomesse, A review of the fieldbuses, Pimentel, Communication Networks for Manufacturing, pp.35-45, 1990.
DOI : 10.1016/S1367-5788(98)00003-0

URL : https://hal.archives-ouvertes.fr/inria-00098449

B. Abeysundara and A. Kamal, High-speed local area networks and their performance: a survey, ACM Computing Surveys, vol.23, issue.2, pp.221-264, 1991.
DOI : 10.1145/103724.103726

D. Galara and J. P. Thomesse, FIP: Proposition d' un système de transmission multiplexé pour l' échange entre capteurs, actionneurs et automates reflexes, Ministère de l' industrie et de la recherche, 1984.

A. , F. Standard, N. C46601, and C. , FIP bus for exchange of information between transmitters, actuators and programmable controllers, 1989. [14] DS, Danish Standard, DS 21906, P-Net, Multi-master, multi-net fieldbus for sensor, actuator and controller communication, 1990.

D. and G. Draft, Standard 19258-1, Interbus-S, sensor and actuator network for industrial control systems, 1996.

I. and I. Standard, Digital Data Communications for measurement and control -Fieldbus for use in industrial control systems. Part 2 Physical Layer Specification and Service Definition. Part 3 Data Link Service Specification. Part 4 Data Link Protocol Specification. Part 5 Application Layer Service Specification, 1158.

I. Dis, Road Vehicules Interchanges of Digital Information -Controller Area Network (CAN) for High Speed Communication, 1992.

A. S. Tanenbaum, Communication Networks for Manufacturing, N.J, 1988.

J. F. Kurose, M. Schwartz, and Y. Yemini, Multiple-access protocols and time-constrained communication, ACM Computing Surveys, vol.16, issue.1, pp.43-70, 1984.
DOI : 10.1145/861.870

N. Malcolm and W. Zhao, Hard real-time communication in multiple-access networks, Real-Time Systems, vol.28, issue.4, pp.35-77, 1995.
DOI : 10.1007/BF01893145

H. Kopetz and G. , TTP-a protocol for fault-tolerant real-time systems, Computer, vol.27, issue.1, pp.22-26, 1994.
DOI : 10.1109/2.248873

G. Le-lann and N. Rivierre, Real-Time Communications over Broadcast Networks: the CSMA-DCR and the DOD/SCMA-CD Protocols, Actes des Conférences de RTS' 94, pp.67-84, 1994.

J. K. Strosnider, T. Marchok, and J. Lehoczky, Advanced real-time scheduling using the IEEE 802.5 token ring, Proceedings. Real-Time Systems Symposium, pp.42-52, 1988.
DOI : 10.1109/REAL.1988.51099

L. Almeida, J. Fonseca, and P. Fonseca, Flexible Time- Triggered Communication on a Controller Area Network, Proceedings of Work-In-Progress Session of IEEE Real-Time Systems Symposium, RTSS'98, 1998.

H. Hanson and M. Sjodin, Response time guarantees for ATM-networked control systems, Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97, pp.213-222, 1997.
DOI : 10.1109/WFCS.1997.634301

L. Almeida, R. Pasadas, and J. A. Fonseca, Using a planning scheduler to improve the flexibility of real-time fieldbus networks, Control Engineering Practice, vol.7, issue.1, pp.101-108, 1999.
DOI : 10.1016/S0967-0661(98)00143-9