Automatic synthesis of SDL models in use case methodology. - Nikolai Mansurov; D. Zhukov (SDL Forum, 1999)