Towards automated car repair bays: Geometric solution for kinematics of a two-post car lift system | IEEE Conference Publication | IEEE Xplore