A Survey for Formal Methods for Determining the Centre of Ball Joints