Alanazi, M. , Gustafson, D.. "Inconsistency Discovery in Multiple State Diagrams". World Academy of Science, Engineering and Technology, Open Science Index 14, International Journal of Computer and Information Engineering, (2008), 2(2), 258 - 266.