Sviluppo e implementazione di formulazioni per l’analisi dinamica di sistemi multibody