Bezpečnost a spolehlivost technických systémů - Mykiska, Antonín (České vysoké učení technické v Praze, 2006)