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