Mohammad N. Alanazi and David A. Gustafson, Inconsistency Discovery in Multiple State Diagrams. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. February 2008, vol. 14(2). 258 - 266 [viewed 26 April 2024]. Available from: https://publications.waset.org/pdf/3437.