Uniformizacijski pristup modeliranju pouzdanosti preventivno obnavljanih računalskih sustava upravljanja brodskim procesima - Kraš, Antun (Array, 1994)