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