This author has not been identified. Look up 'Houssam Abbas' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Konstantinos Mamouras' in GoogleThis author has not been identified. Look up 'Rahul Mangharam' in GoogleThis author has not been identified. Look up 'Alena Rodionova' in Google