https://9lib.org/document/zx5nd74q-controlled-synchronization-mechanical-systems-unilateral-constraint.html