Kamel Karoui Rachida Dssouli Nina Yevtushenko Design for testability of communication protocols based on SDL language. 151- 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#KarouiDY97