Test generation for the SSCOP-ATM networks protocol. - Ana R. Cavalli; Boo-Ho Lee; Toma Macavei (SDL Forum, 1997)