ГОСТ Р МЭК 61508-7-2012 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 7. Методы и средства (Переиздание)
Приложение С (справочное)
Анализ методов и средств достижения полноты безопасности программного обеспечения (см. МЭК 61508-3)