Mohammad N. (Neda) Alanazi2022-06-012022-06-014390https://drepo.sdl.edu.sa/handle/20.500.14154/53536en-USConsistency checking in multiple UML state diagrams using SUPER state analysisThesis