Tikz-UML Sequence diagram: Form - TeX - LaTeX Stack Exchange
Sequence Diagram - UML 2 Tutorial | Sparx Systems
Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and Dynamic Perspectives of System | SpringerLink