"Mauro Forghieri"@cs .