Metoda binarnih dijagrama odlučivanja za vrednovanje stabla kvara u nuklearnoj elektrani : doktorski rad = Binary decision diagram method for fault tree evaluation in nuclear power plant : doctoral thesis - Banov, Reni (Doktorska disertacija–Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2020., 2020)