Uppaal model updated probe parameters