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