1. Adamski, R., 2002. How often do I need to test my SIS logic solver? In: Technical Papers of ISA: Safety Instrumented Systems for the Process Industry.
2. Control System Safety Evaluation & Reliability;Bai,2008
3. EXIDA, 2013. exSILentia (Version 3). .
4. Control System Safety Evaluation and Reliability;Goble,1998
5. Safety Instrumented Systems Verification: Practical Probability Calculations;Goble,2006