"M Westphal"@cs . "Michael Westphal"@cs .