Le, Luan Chi. “A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams Using SPIN”. Journal of Science and Technology on Information security 9, no. 01 (April 9, 2020): 20-28. Accessed June 3, 2023. https://isj.vn/index.php/journal_STIS/article/view/37.