F. Alhumaidan, “State Based Static and Dynamic Formal Analysis of UML State Diagrams,” Journal of Software Engineering and Applications, Vol. 5 No. 7, 2012, pp. 483-491. http://dx.doi.org/10.4236/ jsea.2012.57056

has been cited by the following article: