LE, L. C. A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN. Journal of Science and Technology on Information security, [S. l.], v. 1, n. 9, p. 20-28, 2020. DOI: 10.54654/isj.v9i01.37. Disponível em: https://isj.vn/index.php/journal_STIS/article/view/37. Acesso em: 29 sep. 2025.