Testing Methods for SDL Systems. - Ana R. Cavalli; Byoung-Moon Chin; Kilnam Chon (Comput. Networks ISDN Syst., 1996)