Jing Yang. Analyzing UML Sequence Diagrams with UTP. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 417-423, IEEE Computer Society, 2009. [doi]
Abstract is missing.