"Petr"@cs .