AVAILABILITY ASSESSMENT OF SAFETY INSTRUMENTED SYSTEM BASED ON CONTINUOUS-TIME MARKOV MODEL