<?xml version="1.0"?>
<coauthors author="Martin Wildmoser">
<author urlpt="c/Chaieb:Amine" count="1">Amine Chaieb</author>
<author urlpt="k/Klein:Gerwin" count="3">Gerwin Klein</author>
<author urlpt="n/Nanz:Sebastian" count="1">Sebastian Nanz</author>
<author urlpt="n/Nipkow:Tobias" count="4">Tobias Nipkow</author>
</coauthors>
