Eleonora Sibilio: Formal Methods for Wireless Systems. University of Verona, Italy 2010