Stefan Funke Institute of Formal Methods in Computer Science, Division of Algorithmic, University of Stuttgart, Germany
