Automating the process of test derivation from SDL specifications. - Gregor von Bochmann; Alexandre Petrenko; O. Bellal; S. Maguiraga (SDL Forum, 1997)