Emma: Developing an Industrial Reachability Analyser for SDL. - Nisse Husberg; Tapio Manner (World Congress on Formal Methods, 1999)