Kamel Karoui, Rachida Dssouli, Nina Yevtushenko. Design for testability of communication protocols based on SDL language. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 151, Elsevier, 1997.