1. Université de Lorraine, CNRS, INRIA, LORIA F-54000, France
2. IST Austria, Austria and Department of Applied Mathematics, Charles University, Czech Republic
3. IST Austria, Austria and Computer Science Institute, Charles University, Czech Republic
4. Department of Applied Mathematics, Charles University, Czech Republic
5. IST Austria, Klosterneuburg, Austria