R05 Přijímání návrhů projektů
R0507 Vygenerování protokolů z formální kontroly