MASSIMO NAZARIA Dottore di ricerca ciclo: XXX Titolo della tesi: Simulation Based Formal Verification of Cyber-Physical Systems.