Code generation tool from UPPAAL