Le, L. C. A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams Using SPIN. ISJ 2020, 9, 20-28.