Refinement of UML2.0 Sequence Diagrams for Distributed Systems Topics: Formal Methods; Requirements Elicitation and Specification In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 0ICSOFT, 310-318, 2016 , Lisbon, Portugal