This author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Alain Finkel' in GoogleThis author has not been identified. Look up 'Oded Maler' in GoogleThis author has not been identified. Look up 'Peter Rossmanith' in GoogleThis author has not been identified. Look up 'Bernard Willems' in GoogleThis author has not been identified. Look up 'Pierre Wolper' in Google