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

D. Fischbein, S. Uchitel, and V. Braberman, A foundation for behavioural conformance in software product line architectures, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.39-48, 2006.
DOI : 10.1145/1147249.1147254

S. Harald, Semantics of Interactions in UML 2.0, HCC, pp.129-136, 2003.

I. H. Kruger, Distributed System Design with Message Sequence Charts, 2000.

M. Leuschel and M. Butler, Automatic Refinement Checking for B, Formal Methods and Software Engineering, pp.345-359, 2005.
DOI : 10.1007/11576280_24
URL : http://eprints.ecs.soton.ac.uk/11235/1/prob_icfem05_final.pdf

L. Lu, K. , and D. , Required Behavior of Sequence Diagrams: Semantics and Refinement, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.127-136, 2011.
DOI : 10.1109/ICECCS.2011.20

A. Ohlhoff, Consistent Refinement of Sequence Diagrams in the UML2.0, 2006.

. Øystein-haugen, K. E. Husa, R. K. Runde, and S. , Towards Formal Design with Sequence Diagrams, Software and System Modeling, pp.355-357, 2005.

M. Peter and . Musial, Using Timed Input/Output Automata for Implementing Distributed Systems, 2012.

S. Schneider, H. Treharne, and H. Wehrheim, The behavioural semantics of Event-B refinement, Formal Aspects of Computing, vol.17, issue.4, pp.251-280, 2012.
DOI : 10.1007/s00165-005-0076-7