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.