Synthesis and Refinement Check of Sequence Diagrams. - Hisashi Miyazaki; Tomoyuki Yokogawa; Sousuke Amasaki; Kazuma Asada; Yoichiro Sato (IEICE Trans. Inf. Syst., 2012)