Практическо ръководство IEC 61511 за планиране на SIL 3 тестове за доказване, изчисляване на PFDavg за архитектурите HIMA HIMatrix F60 и ICS Triplex TMR, прилагане на кредит за частичен тест за доказване и поддържане на записи за съответствие през многогодишни цикли на спиране на завода.