New results on deriving SDL specifications from MSCs. - Miguel Abdalla; Ferhat Khendek; Greg Butler (SDL Forum, 1999)