Formalize UML 2 Sequence Diagrams. - Hui Shen; Aliya Virani; Jianwei Niu 001 (HASE, 2008)