Timo H¨ onig, Christopher Eibel, and Wolfgang Schr¨ oder-Preikschat FriedrichAlexander University ErlangenNuremberg {thoenig,ceibel,wosch}@cs.fau.de 1 Introduction and Motivation Bj¨ orn Cassens and R¨ udiger Kapitza TU Braunschweig {b.cassens,rkapitza}@tu-bs.de