Nimiya, A. , Yokogawa, T. , Miyazaki, H. , Amasaki, S. , Sato, Y. , Hayase, M. (2010), 'Model Checking Consistency of UML Diagrams Using Alloy', World Academy of Science, Engineering and Technology, Open Science Index 47, International Journal of Computer and Information Engineering, 4(11), 1696 - 1699.