This page is maintained by Rafael Accorsi (accorsi at informatik.uni-freiburg.de). This work would have never started if the following collaborators were not there: