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, vol. 9, no. 01, Apr. 2020, pp. 20-28, doi:10.54654/isj.v9i01.37.