Bezpečnost a spolehlivost systémů - Novák, Mirko; Šebesta, Václav; Votruba, Zdeněk (České vysoké učení technické v Praze, 2003)