Le, L. C. (2020). A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN. Journal of Science and Technology on Information Security, 9(01), 20-28. https://doi.org/10.54654/isj.v9i01.37