UML Analysis Using State Diagrams. - Mohammad Alanazi; Jason Belt; David Gustafson (Software Engineering Research and Practice, 2006)

Error Detection in Multiple State Diagrams. - Mohammad Alanazi; David Gustafson (Software Engineering Research and Practice, 2008)

Super State Analysis for UML State Diagrams. - Mohammad Alanazi; David Gustafson (CSIE (7), 2009)