thesis with corrections made after Springer publication

The thesis was nominated and won a Springer thesis prize.
The minor corrections made to the proof (without the
purely typographical changes) have been included into
this version.

version submitted for the Springer thesis prize

thesis uploaded as final copy to ADUM

version sent to reporters

first draft sent to xavier

software chapter for Xavier

re-send to Xavier with minor corrections

sent to Xavier