Vitalsource Technologies, Inc. Stability And Convergence Of Mechanical Systems With Unilateral Constra