Malinka Kamil: Metody pro práci se specifikacemi bezpečnosti, Hýsek Jiří: FAV systémů specifikovaných vysokoúrovňovými vizuálními jazyky - detail akce