(
)
R0507 Vygenerování protokolů z formální kontroly
R0508 Rozhodnutí o (ne)přijetí návrhu projektu do VS
R05 Přijímání návrhů projektů (helicopter view)