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