Egy gyakorlati IEC 61511 útmutató a SIL 3 bizonyító tesztek ütemezéséhez, a PFDavg kiszámításához HIMA HIMatrix F60 és ICS Triplex TMR architektúrák esetén, a részleges bizonyító teszt jóváírás alkalmazásához, valamint a megfelelőségi nyilvántartások vezetéséhez többéves üzemleállási ciklusok során.