Štolba, Michal, Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo nám. 13, 121 35 Praha 2, Czech Republic, Czechia