J. Akasan and Z. Mammeri, On tasks synchronization with the MMS protocol. Real-Time Systems, pp.265-287, 1995.

R. Alur and D. L. Dill, Automata for modeling real-time systems, In Automata, Language and programming, LNCS, vol.443, pp.322-335, 1990.

A. Benveniste and P. Leguernic, Hybrid dynamical systems theory and the Signal language, IEEE Transactions on Automatic Control, vol.35, issue.5, p.535, 1990.
DOI : 10.1109/9.53519
URL : https://hal.archives-ouvertes.fr/inria-00075715

G. Berry, Programmation synchrone de systèmes réactifs, le langage Esterel". TSI, (4) Hermés Ed, p.316, 1987.

E. Bertino, E. Ferrari, and D. C. Bulterman, Temporal Synchronization Models for Multimedia Data IEEE Transaction on knowledge and data engineeringSynchronisation of Multi-Source Multimedia data for heterogeneous target systems, LNCS, issue.410712, pp.119-129, 1992.

A. Campbell, A quality of service architecture, ACM SIGCOMM Computer Communication Review, vol.24, issue.2, pp.6-27, 1994.
DOI : 10.1145/185595.185648

H. Chang, The management and applications of teleaction objects". Multimedia Systems, pp.204-216, 1995.

G. Coulson, Hazard. Supporting the Rea-time Requirements of Continuous Media in Open Distributed Processing, Computer Networks and ISDN Systems, vol.27, issue.8, 1995.

Y. Dakroury and J. P. Elloy, A new multi-server concept for the MMS Environnement, Proc of 9th IFAC Workshop on DCCS, 1989.

]. M. Diaz, P. Sénac, P. De-saqui-sannes, M. Diaz, G. Diaz et al., Un modèle formel pour la spécification de la synchronisation multimédia en environnement distribuéDesign of multimedia protocols based on multimedia modelsDistributed Multimedia: Applications, Systems and PlatformsA toolkit for the modelling of multimedia synchronization scenariosUnderstanding Networked Multimedia, applications and technology, CFIP' 9316] B. Furht. Handbook of Multimedia Computing, pp.1-15, 1993.

F. Garcia and . Qos, Support for Distributed Multimedia Communications Conference on Distributed PlatformsThe synchronous dataflow programming language Lustre, Proc. of the 1st Intl Proc of the IEEE, p.1305, 1320.

]. J. Van-hintum, G. J. Juanole, L. Gallon, and S. Mullender-ed, A Multimedia Constraint Système Department of Interactive Systems. CS-R9532Critical Time Distributed Systems: Qualitative and Quantitative Analysis based on Stochastic Timed Petri NetsReal Time and dependability conceptsCritical issues for the development of distributed real-time computing systems, FORTE' 95, the 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, p.411, 1990.

S. M. Lang and P. C. Lockemann, Behaviorally Adaptive Objects". Theory and practice of Objects Systems, pp.169-182, 1998.

R. F. Leung, Multimedia/hypermedia in CIM: state-of-the-art review and research implications (part I: State-of-the-art review), Comp Integrated Manufacturing Systems, pp.255-260, 1992.
DOI : 10.1016/0951-5240(95)00024-0

W. Liao, Synchronization of distributed multimedia systems with user interactions, Multimedia Systems, vol.6, issue.3, pp.237-252, 1996.
DOI : 10.1007/s005300050088

C. Lin, Transformation and exchange of multimedia objects in distributed multimedia systems, Multimedia Systems, vol.3, issue.1, pp.12-29, 1996.
DOI : 10.1007/s005300050009

G. J. Lu, Temporal synchronization support for distributed multimedia information systems, Computer Communications, vol.17, issue.12, pp.852-862, 1994.
DOI : 10.1016/0140-3664(94)90028-0

S. J. Mullender and P. Sijben, Quality of service in distributed multimedia systems, LNCS, vol.1161, pp.1-12, 1996.
DOI : 10.1007/3-540-61842-2_22

K. Nahrstedt and R. Steinmetz, Resource management in networked multimedia systems, Computer, vol.28, issue.5, pp.52-63, 1995.
DOI : 10.1109/2.384118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.2776

J. S. Ostroff, Temporal logic for real-time systems

P. Owezarski and M. Diaz, Models for enforcing multimedia synchronization in visioconference applications, MMM' 96, pp.85-100, 1996.
DOI : 10.1007/3-540-40002-8_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6947

P. Sénac, M. Diaz, and P. De-saqui-sannes, Toward a formal specification of multimedia synchronization scenarios, Annals of Telecommunications, vol.49, issue.56, pp.297-314, 1994.

T. K. Shih, Formal Model of temporal Properties Underlying Multimedia Presentations, MMM' 96, pp.135-150

J. A. Stankovic, Misconceptions about real time computing, IEEE Computer, issue.210, pp.10-19, 1988.
DOI : 10.1109/2.769440
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.4790

R. Steinmetz and K. Nahrstedt, Multimedia : computing, communications & applications, 1995.

W. Tawbi and E. Horlait, Expression and management of QoS in multimedia communication systems, Annals of Telecommunications, pp.282-296, 1994.

J. Thomesse and P. Noury, Communication models Client-server vs Producer - Distributor-Consumer, 1989.

J. P. Thomesse, Time in distributed systems cooperation and communication models, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pp.41-49, 1995.
DOI : 10.1109/FTDCS.1995.524967

J. Toussaint, F. Simonot, J. Vega-saenz, L. , J. Vega-saenz et al., Time Contraints Verification Methods Based on Time Petri NetsTime in distributed systems-Cooperation models and communication types". 5th workshop on Future trends of distributed computing systemsModélisation des contraintes temporelles dans la communication temps réelMultimedia Information Object Model for Information Disclousure, Distributed Computing Systems. FTDCS 97 CFIP' 96 MMM96Distributed Multimedia and QoS: A Survey". IEEE MultimediaOn the Synchronization Mechanisms for Multimedia Integrated Services Networks". LNCSSpecifying QoS for Multimedia Communications within Distributed Programming Environments". LNCS 1185. Pages, pp.262-267, 1994.

N. Williams and G. Blair, Distributed Multimedia Application Study, Computer Communications, 1993.

R. Willrich, Hypermedia document design using the HTSPN model, MMM' 96, pp.151-166

H. Wittig, CPU utilization of multimedia processes: HeiPOET ??? The Heidelberg predictor of execution times measurement tool, LNCS, vol.868, pp.93-103, 1994.
DOI : 10.1007/3-540-58494-3_9