Yuka Kawakami and  Tomoyuki Yokogawa and  Hisashi Miyazaki and Sousuke Amasaki and  Yoichiro Sato and  Michiyoshi Hayase,  Symbolic Model Checking of Interactions in Sequence Diagrams with Combined Fragments by SMV.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    November 2010, vol. 47(11). 1692 - 1695
    [viewed 08 May 2024]. Available from: https://publications.waset.org/pdf/3874.