L. C. Le, “A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN”, ISJ, vol. 9, no. 01, pp. 20-28, Apr. 2020.