Hui Shen Aliya Virani Jianwei Niu Formalize UML 2 Sequence Diagrams. 437-440 2008 HASE http://dx.doi.org/10.1109/HASE.2008.51 conf/hase/2008 db/conf/hase/hase2008.html#ShenVN08