Akie Nimiya and Tomoyuki Yokogawa and Hisashi Miyazaki and Sousuke Amasaki and Yoichiro Sato and Michiyoshi Hayase, Model Checking Consistency of UML Diagrams Using Alloy. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. November 2010, vol. 47(11). 1696 - 1699 [viewed 29 March 2024]. Available from: https://publications.waset.org/pdf/7010.