"Carel Eiting"@cs .