1. GOAL: Observing SDL behaviors with ObjectGeode;Algayres,1995
2. Automating the process of test derivation from SDL specifications;Bochmann,1997
3. A guided incremental test case generation method for testing CEFSM based systems”;Bourhfir,1998
4. Automatic executable test case generation for EFSM specified protocols”;Bourhfir,1997
5. TESDL: Experience with Generating Test Cases from SDL Specifications”;Bromstrup,1989