Deshuai Han, Jianchun Xing, Qiliang Yang, Hongda Wang, Xuewei Zhang: Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification. COMPSAC Workshops 2016: 474-481