J. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

R. Alur, G. J. Holzmann, and D. Peled, An analyzer for message sequence charts, In SOFTWARE CONCEPTS AND TOOLS, pp.304-313, 1996.
DOI : 10.1007/3-540-61042-1_37

URL : http://homepages.inf.ed.ac.uk/kousha/msc_inference_j_v.ps

J. Cardoso and C. Sibertin-blanc, Ordering actions in sequence diagrams of UML, Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001., pp.3-14, 2001.
DOI : 10.1109/ITI.2001.937990

J. Cardoso and C. Sibertin-blanc, An Operational Semantics for UML Interaction: Sequencing of Actions and Local Control, European Journal of Automatised Systems, APII-JESA, vol.36, issue.7, pp.1015-1028, 2002.

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.
DOI : 10.5220/0005517703390347

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsa¨?esbsa¨?es, Refinement of UML2.0 Sequence Diagrams for Distributed Systems, Proceedings of the 11th International Joint Conference on Software Technologies, pp.310-318, 2016.
DOI : 10.5220/0006005403100318

URL : https://hal.archives-ouvertes.fr/hal-01686331

G. Huszerl and . Héì-ene-waeselynck, Refined design and testing framework, methodology and application results, Z. E. A. K. Z. M, 2008.

R. Grosu and S. Smolka, Safety-Liveness Semantics for UML 2.0 Sequence Diagrams, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), p.614, 2005.
DOI : 10.1109/ACSD.2005.31

URL : http://www.cs.sunysb.edu/~grosu/acsd05.pdf

Y. Hammal, Branching Time Semantics for UML 2.0 Sequence Diagrams. Lecture Notes in Computer Science: Formal Techniques for Networked and Distributed Systems -FORTE, pp.259-274, 2006.
DOI : 10.1007/11888116_20

D. Harel and S. Maoz, Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-252, 2008.
DOI : 10.1145/1138953.1138958

A. Knapp and J. Wuttke, Model Checking of UML 2.0 Interactions, Models in Software Engineering OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2, pp.42-51, 2006.
DOI : 10.1007/978-3-540-69489-2_6

O. Tahir, C. , and J. Cardoso, A Causality-Based Semantics for UML Sequence Diagrams Towards Formal Design with Sequence Diagrams, 23rd IASTED International Conference on Software Engineering Software and System Modeling, pp.106-111, 2005.

H. Shen, A Formal Framework for Analyzing Sequence Diagram, 2013.

C. Sibertin-blanc and O. Tahir, From UML1.x to UML 2.0 Semantics for Sequence Diagrams, IEEE International Symposium and School on Advance Distributed Systems (ISSADS), 2006.

C. Sibertin-blanc, T. O. , J. , and C. , Interpretation of UML Sequence Diagrams as Causality Flows, Advanced Distributed Systems, 5th Int. School and Symposium (ISSAD), number 3563, pp.126-140, 2005.
DOI : 10.1007/11533962_12