From Timed Scenarios to SDL: Specification, Implemention and Testing of Real-Time Systems**This work was supported by NSERC Operating Grant (Dssouli) and IGLOO-NSERC Project.
@inproceedings{Ennouaary1999FromTS, title={From Timed Scenarios to SDL: Specification, Implemention and Testing of Real-Time Systems**This work was supported by NSERC Operating Grant (Dssouli) and IGLOO-NSERC Project.}, author={Abdeslam Ennouaary and Rachida Dssouli and Ferhat Khendek}, year={1999} }