Spolehlivost automatizačních prostředků a systémů - Mykiska, Antonín (České vysoké učení technické, 1990)