Požiadavky na zabezpečovanie kvality softvéru pre analýzy bezpečnosti - Husárček, Ján (Bezpečnosť jadrových zariadení ;, 2012)