SIRET Research Group, Department of Software Engineering, FMP, Charles University in Prague, 11800 Czech Republic. hoksza@ksi.mff.cuni.cz|SIRET Research Group, Department of Software Engineering, FMP, Charles University in Prague, 11800 Czech Republic. hoksza@ksi.mff.cuni.cz