SWa08 = S. Walter, Ph.D. thesis, University of Karlsruhe/ Germany (2008); Forschungszentrum Karlsruhe Report FZKA-7411.