This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Wolfgang Thomas' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google