"Pavel Holec"@cs .