This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Minh Do' in GoogleThis author has not been identified. Look up 'Andrea Micheli' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in GoogleThis author has not been identified. Look up 'David E. Smith' in Google