Luigi Di Guglielmo: Realizability of embedded controllers: from hybrid models to correct implementations. University of Verona, Italy 2012