Virtualization for the Purposes of Modeling and Computer Simulation of a Class of Overconstrained Robots | IEEE Conference Publication | IEEE Xplore