A new design method of software based on state transition. - Naoko Yokoi; Takeshi Kaneko; Yoshinori Iizuka (Syst. Comput. Jpn., 1994)