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