Junction
R0507 Vygenerování protokolů z formální kontroly



R04 Přijímání návrhů projektů (helicopter view)