Automatic generation of SDL specifications from MSCs