1. IEC 61025 ed2.0. Fault tree analysis (FTA). Geneva: International Electrotechnical Commission; 2006.
2. IEC 61165 ed2.0. Application of Markov techniques. Geneva: International Electrotechnical Commission; 2006.
3. IEC 62551 ed1.0. Analysis techniques for dependability—Petri net techniques. Geneva: International Electrotechnical Commission; 2012.
4. A snapshot of methods and tools to assess safety integrity levels of high-integrity protection systems;Dutuit;Proc Inst Mech Eng, Part O: J Risk Reliab,2008
5. High integrity protection systems (hips);Signoret;Risk Reliab Soc Saf,2008