1. Department of Mathematics and Computer Science, University of Cologne, Germany
2. DLR German Aerospace Center, Braunschweig, Germany
3. Institute of Computer Science, University of Bonn, Germany
4. Department of Computer Science, Heidelberg University, Germany
5. Department of Mathematics, University of Klagenfurt, Austria
6. Istituto di Analisi dei Sistemi ed Informatica “A. Ruberti” – CNR, Rome, Italy
7. DLR German Aerospace Center, Cologne, Germany