Discussione finale tesi di Laurea Magistrale in Informatica, Università degli Studi di Catania, 29 settembre 2017.