code geneneration from UPPAAL