Formulation and software development for nonlinear finite element analysis of mechanisms and structures.