Seminář UPSY - Lojda, J.: Automatický návrh systémů odolných proti poruchám: Dílčí komponenty - detail akce