Modellistica e Simulazione di Veicoli Automobilistici con l'Ausilio di Modelica