Ingo Müller
Doctoral thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, Germany, 2016.