Analiza pouzdanosti programske opreme sustava s visokim zahtjevima kakvoće - Pavić, Armin, elektrotehničar (Array, 1994)