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), pp. 20-28. doi: 10.54654/isj.v9i01.37.