Dennis Luxen
Doctoral thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, Germany, 2013.