REG NASA-LLIS-4416-2012
Требования к зрелости критических систем, аналитическая модель критических систем и процедуры сертификации критических систем