Constrained Dynamics Computations: Models & Case Studies