Váňa, Petr, Dept. of Computer Science, Czech Technical University in Prague, Technická 2, 166 27 Prague, Czech Republic