WASET
    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.