The UPPAAL model can be found here.