Developing a Framework for
Simulation, Verification and
Testing of SDL Specifications
Olga Shumsky
Lawrence Henschen
Northwestern University
[shumsky,henschen]@ece.nwu.edu