Formal Safety and Environmental Assessment - Valutazione formale in materia di sicurezza e di ambiente