Analysis of simplification in Markov-based models for performance assessment of Safety Instrumented System. - Hooshyar Azizpour; Mary Ann Lundteigen (Reliab. Eng. Syst. Saf., 2019)