Daniele Grasso: Testing and verification methods for safety critical systems. University of Florence, Italy 2014