REG NASA-LLIS-5117-2012
Извлеченные уроки: определение уровней достоверности для требований, подтвержденных анализом