Translation from TTCN to LOTOS and the Validation of Test Cases. - Martin Dubuc; Gregor von Bochmann; O. Bellal; F. Saba (FORTE, 1990)

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