Quantitative analysis of ship's process control systems availability - Kraš, Antun (Array, 1999)