A Transformation of SDL Specifications - A Step towards the Verification