Fondamenti Teorici per la Sicurezza nei Macchinari Pesanti