TY - RPRT TI - Software Safety Assurance of Programmable Logic AU - Berens, Kalynnda PY - 2002 UR - https://ntrs.nasa.gov/citations/20040016077 ID - 20040016077 ER -