1. GOAL: observing SDL behaviours with GEODE;Algayres,1995
2. F.J. Argul-Marin, K.J. Turner, Extending hardware description in SDL, Technical Report CSM-155, Department of Computing Science and Mathematics, University of Stirling, February 2000.
3. An approach to Verilog–VHDL interoperability for synchronous designs;Borrione,1997
4. Microprocessor Interfacing and the 6800: Peripherals and Systems;Clements,1989
5. MSCs to express service requirements as properties on a SDL model: application to service interaction detection;Combes,1995