Automatic Formal Model Generation and Analysis of SDL. - Annikka Aalto; Nisse Husberg; Kimmo Varpaaniemi (SDL Forum, 2003)