Generating Google Go code frameworks from Uppaal models