Bezpečnost a spolehlivost technických systémů - Mykiska, Antonín (ČVUT, 2006)