Verification of the LIRA-FEM software / Static and dynamic problems with one-sided constraints
Verification examples