Generation of SDL Specifications from UML and MSC Use Cases