Nimiya, A. , Yokogawa, T. , Miyazaki, H. , Amasaki, S. , Sato, Y. , Hayase, M.. "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, (2010), 4(11), 1696 - 1699.