Kawakami, Y. , Yokogawa, T. , Miyazaki, H. , Amasaki, S. , Sato, Y. , Hayase, M.. "Symbolic Model Checking of Interactions in Sequence Diagrams with Combined Fragments by SMV". World Academy of Science, Engineering and Technology, Open Science Index 47, International Journal of Computer and Information Engineering (2010), 4(11), 1692 - 1695.