Izboljšave zanesljivosti računalniških sistemov, povezanih z varnostjo jedrskih elektrarn : doktorska disertacija - Čepin, Marko (M Čepin, 1998)