Automatic generation of SDL specifications from timed MSCs