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 20 September 2024]. Available from: https://publications.waset.org/pdf/3874.