Bezpečnost a spolehlivost systémů - Novák, Mirko (České vysoké učení technické v Praze, 2003)