Parametric formal verification: the robotic paint spraying case study