1. B. Algayres, Y. Lejeune, F. Hugonnet (Verilog), GOAL: Observing SDL behaviors with ObjectGeode, Seventh SDL Forum, Oslo, Norway, September 1995, pp. 26–29.
2. Automating the process of test derivation from SDL specifications;Bochmann,1997
3. Automatic executable test case generation for EFSM specified protocols;Bourhfir,1997
4. L. Bromstrup, D. Hogrefe, TESDL: Experience with Generating Test Cases from SDL Specifications, in: Fourth Proc. SDL Forum, 1989, pp. 267–279.
5. S.T. Chanson, J. Zhu, A Unified Approach to Protocol Test Sequence Generation, in: Proc. IEEE INFOCOM, 1993.