R. Alur and D. 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. A. Ellis and S. J. Gibbs, Concurrency Control in Groupware Systems, SIGMOD Conference, pp.399-407, 1989.

A. Imine, Conception Formelle d'Algorithmes de Réplication Optimiste. Vers l'Edition Collaborative dans les Réseaux Pair-` a-Pair, 2006.

A. Imine, P. Molli, G. Oster, and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, ECSCW'03, pp.14-18, 2003.
DOI : 10.1007/978-94-010-0068-0_15
URL : https://hal.archives-ouvertes.fr/inria-00107652

A. Imine, M. Rusinowitch, G. Oster, and P. Molli, Formal design and verification of operational transformation algorithms for copies convergence, Theoretical Computer Science, vol.351, issue.2, pp.167-183, 2006.
DOI : 10.1016/j.tcs.2005.09.066
URL : https://hal.archives-ouvertes.fr/inria-00000426

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

M. Ressel, D. Nitsche-ruhland, and R. Gunzenhauser, An integrating, transformation-oriented approach to concurrency control and undo in group editors, Proceedings of the 1996 ACM conference on Computer supported cooperative work , CSCW '96, pp.288-297, 1996.
DOI : 10.1145/240080.240305

M. Suleiman, M. Cart, and J. Ferrié, Serialization of concurrent operations in a distributed collaborative environment, Proceedings of the international ACM SIGGROUP conference on Supporting group work : the integration challenge the integration challenge, GROUP '97, pp.435-445, 1997.
DOI : 10.1145/266838.267369

M. Suleiman, M. Cart, and J. Ferrié, Concurrent operations in a distributed and mobile collaborative environment, Proceedings 14th International Conference on Data Engineering, pp.36-45, 1998.
DOI : 10.1109/ICDE.1998.655755

C. Sun and C. Ellis, Operational transformation in real-time group editors, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, pp.59-68, 1998.
DOI : 10.1145/289444.289469

C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998.
DOI : 10.1145/274444.274447

N. Vidot, M. Cart, J. Ferrié, and M. Suleiman, Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, 2000.
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563

L. Unité-de-recherche-inria-lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Rennes, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.