Automatic Monitor Generation for Cloud Services. - Davide Di Domenico; Francesco Moscato 001 (CISIS, 2015)