J. Abrial, The B Book, 1996.

D. B. Aredo, A framework for semantics of uml sequence diagrams, PVS Journal of Universal Computer Science (JUCS), pp.674-697, 2002.

M. Butler, Incremental design of distributed systems with event-b. Lecture Notes in Marktoberdorf Summer School, 2008.

A. Cavarra and J. K. Filipe, Formalizing liveness-enriched sequence diagrams using asms, Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, pp.62-77, 2004.
DOI : 10.1007/978-3-540-24773-9_6

M. V. Cengarle and K. Alexander, Uml 2.0 interactions: semantics and refinement, pp.85-99, 2004.

M. V. Cengarle, P. Graubmann, S. Wagner, and T. U. München, Semantics of uml 2.0 interactions with variabilities, 2005.

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsaies, Extending causal semantics of uml2.0 sequence diagram for distributed systems, Proceedings of the 10th International Conference on Software Engineering and Applications, pp.339-347, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01686275

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsaies, Refinement of UML2.0 sequence diagrams for distributed systems, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) Lisbon, Portugal, pp.310-318, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01686331

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsaies, A causal semantics for UML2.0 sequence diagrams with nested combined fragments, pp.47-56, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01686265

C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno, Compositional semantics for uml 2.0 sequence diagrams using petri nets, Lecture Notes in Computer Science, vol.3530, p.133148, 2005.

M. Fernandes, S. Tjell, J. B. Jorgensen, and O. Ribeiro, Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net, 6th Int.Wsh. on Scenarios and State Machines, 2007.

R. Grosu and S. Smolka, Safety-liveness semantics for uml 2.0 sequence diagrams, p.5, 2005.

. Int and . Conf, on Application of Concurrency to System Design, pp.6-14

O. M. Group, Omg unified modeling language, 2005.

O. M. Group, Omg unified modeling language, 2015.

S. Harald, Semantics of interactions in uml 2.0, HCC, pp.129-136, 2003.

D. Harel and S. Maoz, Assert and negate revisited: modal semantics for uml sequence diagrams, Software and System Modeling, pp.237-253, 2008.

G. Huszerl, H. Waeselynck, A. Zoltánzoltán´zoltánégel, and Z. M. Kvi, Refined design and testing framework, methodology and application results, 2008.

K. F. Juliana, Modelling concurrent interactions, Theor. Comput. Sci, pp.203-220, 2006.

A. Knapp and J. Wuttke, Model checking of uml 2.0 interactions, Models in Software Engineering, pp.42-51, 2006.

X. Li, Z. Liu, and J. He, A formal semantics of uml sequence diagram, Australian Software Engineering Conference IEEE Computer Society, pp.168-177, 2004.

S. Maoz, D. Harel, and A. Kleinbort, A compiler for multimodal scenarios: transforming lscs into aspectj, ACM Trans. Softw. Eng. Methodol, vol.18, p.41, 2011.

O. Tahir, C. Sibertin-blanc, and J. Cardoso, A causality-based semantics for uml sequence siagrams, 23rd IASTED International Conference on Software Engineering, pp.106-111, 2005.

. Øystein-haugen, K. E. Husa, R. K. Runde, and . Stairs, Towards formal design with sequence diagrams, Software and System Modeling, vol.4, pp.355-357, 2005.

H. Shen, A. Virani, and J. Niu, Formalize uml2 sequence diagrams, 11th IEEE High Assurance Systems Engineering Symposium, pp.437-440, 2008.
DOI : 10.1109/hase.2008.51
URL : http://venom.cs.utsa.edu/dmz/techrep/2008/CS-TR-2008-013.pdf

H. Youcef, Branching time semantics for uml 2.0 sequence diagrams, Computer Science: Formal Techniques for Networked and Distributed Systems, pp.259-274, 2006.

M. Zoltán and W. Ene, The many meanings of uml2.0 sequence diagrams: a survey. Software & Systems Modeling, pp.489-514, 2011.